Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  


Provability and Formal Arithmetic
September 22–December 22, 2020, Steklov Mathematical Institute (8 Gubkina), Room. 530, Moscow

E-mail:
RSS: Forthcoming seminars

Seminar organizers
Beklemishev Lev Dmitrievich

Institutions
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Moscow Institute of Physics and Technology (State University), Dolgoprudny, Moscow region
Steklov International Mathematical Center


Provability and Formal Arithmetic, Moscow, September 22–December 22, 2020

December 22, 2020 (Tue)
1. Лекция 14. Аспекты теоремы о неполноте
L. D. Beklemishev
December 22, 2020 14:30, Moscow, Steklov Mathematical Institute (8 Gubkina), Room. 530
  

December 15, 2020 (Tue)
2. Лекция 13. Доказуемость как модальность
L. D. Beklemishev
December 15, 2020 14:30, Moscow, Steklov Mathematical Institute (8 Gubkina), Room. 530
  

December 8, 2020 (Tue)
3. Лекция 12. Формализация синтаксиса в арифметике
L. D. Beklemishev
December 8, 2020 14:30, Moscow, Steklov Mathematical Institute (8 Gubkina), Room. 530
  

December 1, 2020 (Tue)
4. Лекция 11. Доказуемо рекурсивные функции
L. D. Beklemishev
December 1, 2020 14:30, Moscow, Steklov Mathematical Institute (8 Gubkina), Room. 530
  

November 24, 2020 (Tue)
5. Лекция 10. Неподвижная точка Россера
L. D. Beklemishev
November 24, 2020 14:30, Moscow, Steklov Mathematical Institute (8 Gubkina), Room. 530
  

November 17, 2020 (Tue)
6. Лекция 9. Теорема Лёба и вторая теорема Гёделя о неполноте
L. D. Beklemishev
November 17, 2020 14:30, Moscow, Steklov Mathematical Institute (8 Gubkina), Room. 530
  

November 10, 2020 (Tue)
7. Лекция 8. Лемма о диагонализации
L. D. Beklemishev
November 10, 2020 14:30, Moscow, Steklov Mathematical Institute (8 Gubkina), Room. 530
L. D. Beklemishev
  

November 3, 2020 (Tue)
8. Лекция 7. Представимость функций
L. D. Beklemishev
November 3, 2020 14:30, Moscow, Steklov Mathematical Institute (8 Gubkina), Room. 530
L. D. Beklemishev
  

October 27, 2020 (Tue)
9. Лекция 6. Теорема Гёделя-Россера
L. D. Beklemishev
October 27, 2020 14:30, Moscow, Steklov Mathematical Institute (8 Gubkina), Room. 530
L. D. Beklemishev
  

October 20, 2020 (Tue)
10. Лекция 5. Первая теорема Гёделя о неполноте
L. D. Beklemishev
October 20, 2020 14:30, Moscow, Steklov Mathematical Institute (8 Gubkina), Room. 530
L. D. Beklemishev
  

October 13, 2020 (Tue)
11. Лекция 4. Определимость перечислимых предикатов арифметическими $\Sigma_1$-формулами
L. D. Beklemishev
October 13, 2020 14:30, Moscow, Steklov Mathematical Institute (8 Gubkina), Room. 530
L. D. Beklemishev
  

October 6, 2020 (Tue)
12. Лекция 3.Определимость в языке арифметики
L. D. Beklemishev
October 6, 2020 14:30, Moscow, Steklov Mathematical Institute (8 Gubkina), Room. 530
L. D. Beklemishev
  

September 29, 2020 (Tue)
13. Лекция 2. Слабые фрагменты арифметики Пеано и их модели
L. D. Beklemishev
September 29, 2020 14:30, Moscow, Steklov Mathematical Institute (8 Gubkina), Room. 530
L. D. Beklemishev
  

September 22, 2020 (Tue)
14. Лекция 1. Язык и аксиомы арифметики Пеано
L. D. Beklemishev
September 22, 2020 14:30, Moscow, online via Zoom
L. D. Beklemishev
  
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2022