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 13–December 12, 2022, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom)

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

Fall Semester Schedule of 2022/2023:

Time: Tuesday 14:45 – 16:10

First lecture: September 13

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

Lecturers
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, September 13–December 12, 2022*

	*December 13, 2022 (Tue)*

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


	*December 6, 2022 (Tue)*

2.	Lecture 12. Provability and Formal Arithmetic T. L. Yavorskaya December 6, 2022 14:45, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*November 22, 2022 (Tue)*

3.	Lecture 11. Provability and Formal Arithmetic L. D. Beklemishev November 22, 2022 14:45, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*November 15, 2022 (Tue)*

4.	Lecture 10. Provability and Formal Arithmetic L. D. Beklemishev November 15, 2022 14:45, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*November 8, 2022 (Tue)*

5.	Lecture 9. Provability and Formal Arithmetic T. L. Yavorskaya November 8, 2022 14:45, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*November 1, 2022 (Tue)*

6.	Lecture 8. Provability and Formal Arithmetic L. D. Beklemishev November 1, 2022 14:45, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*October 25, 2022 (Tue)*

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


	*October 18, 2022 (Tue)*

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


	*October 11, 2022 (Tue)*

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


	*October 4, 2022 (Tue)*

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


	*September 27, 2022 (Tue)*

11.	Lecture 3. Provability and Formal Arithmetic L. D. Beklemishev, T. L. Yavorskaya September 27, 2022 14:45, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*September 20, 2022 (Tue)*

12.	Lecture 2. Provability and Formal Arithmetic L. D. Beklemishev, T. L. Yavorskaya September 20, 2022 14:45, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*September 13, 2022 (Tue)*

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

Registration to the website

Logotypes