Logic Summer School 2024
Theme : Proof Theory of Arithmetic and Constructive Mathematics
Theme : Proof Theory of Arithmetic and Constructive Mathematics
Date： September 17th, 2024 - September 20th, 2024
Venue： Second floor, Graduate School of Information Sciences, Tohoku University
Organizer: Kaita Yokoyama (Tohoku University), keita.yokoyama.c2[at]tohoku.ac.jp
This summer school will include introductory lectures on proof theory of arithmetic and constructive mathematics.
Starting with the basics of proof theory, topics will include Gödel's Incompleteness Theorem, reverse mathematics, and constructive mathematics.
Although primarily intended for undergraduate and graduate students, all interested parties are welcome.
Hajime Ishihara (Toho University)
Taishi Kurahashi (Kobe University)
Takako Nemoto (Tohoku University)
Giovanni Sambin (University of Padova)
Keita Yokoyama (Tohoku University)
Dr. Sambin's lecture will be given in English, and other lectures, including introductory ones, will be given in Japanese.