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


Provability and Formal Arithmetic
September 14–December 14, 2021, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom, Moscow

We kindly ask all participants, including remote ones and those
watching recorded videos, to register at https://forms.gle/iAKoEktJ7Rw8rpQ59.



Fall Semester Schedule of 2021/2022:

Time: Tuesday 14:45 – 16:10

First lecture: September 14


Financial support. The course is supported by the Ministry of Science and Higher Education of the Russian Federation (the grant to the Steklov International Mathematical Center, Agreement no. 075-15-2019-1614).

RSS: Forthcoming seminars

Seminar organizers
Beklemishev Lev Dmitrievich
Yavorskaya Tatiana Leonidovna

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


Provability and Formal Arithmetic, Moscow, September 14–December 14, 2021

December 14, 2021 (Tue)
1. Lecture 14. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
December 14, 2021 14:45, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
L. D. Beklemishev, T. L. Yavorskaya
  

December 7, 2021 (Tue)
2. Lecture 13. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
December 7, 2021 14:45, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
L. D. Beklemishev, T. L. Yavorskaya
  

November 30, 2021 (Tue)
3. Lecture 12. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
November 30, 2021 14:45, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
L. D. Beklemishev, T. L. Yavorskaya
  

November 23, 2021 (Tue)
4. Lecture 11. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
November 23, 2021 14:45, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
L. D. Beklemishev, T. L. Yavorskaya
  

November 16, 2021 (Tue)
5. Lecture 10. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
November 16, 2021 14:45, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
L. D. Beklemishev, T. L. Yavorskaya
  

November 9, 2021 (Tue)
6. Lecture 9. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
November 9, 2021 14:45, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
L. D. Beklemishev, T. L. Yavorskaya
  

November 2, 2021 (Tue)
7. Lecture 8. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
November 2, 2021 14:45, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
L. D. Beklemishev, T. L. Yavorskaya
  

October 26, 2021 (Tue)
8. Lecture 7. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
October 26, 2021 14:45, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
L. D. Beklemishev, T. L. Yavorskaya
  

October 19, 2021 (Tue)
9. Lecture 6. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
October 19, 2021 14:45, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
L. D. Beklemishev, T. L. Yavorskaya
  

October 12, 2021 (Tue)
10. Lecture 5. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
October 12, 2021 14:45, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom

October 5, 2021 (Tue)
11. Lecture 4. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
October 5, 2021 14:45, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
L. D. Beklemishev, T. L. Yavorskaya
  

September 28, 2021 (Tue)
12. Lecture 3. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
September 28, 2021 14:45, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
L. D. Beklemishev, T. L. Yavorskaya
  

September 21, 2021 (Tue)
13. Lecture 2. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
September 21, 2021 14:45, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
L. D. Beklemishev, T. L. Yavorskaya
  

September 14, 2021 (Tue)
14. Lecture 1. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
September 14, 2021 14:45, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
L. D. Beklemishev, T. L. Yavorskaya
  
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2022