RUS  ENG
Full version
SEMINARS
Provability and Formal Arithmetic
November 17, 2020 14:30, Moscow, Steklov Mathematical Institute (8 Gubkina), Room. 530

Лекция 9. Теорема Лёба и вторая теорема Гёделя о неполноте

L. D. Beklemishev


https://youtu.be/GOMqdmvJeDI

© Steklov Math. Inst. of RAS, 2024