Provability and Formal Arithmetic

Seminars

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

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).

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


	*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


	*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


	*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


	*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


	*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


	*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


	*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


	*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


	*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


	*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


	*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


	*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

Registration to the website

Logotypes