WIAS Top Runners’ Lecture Collection:
“Proof Theory and Computation (1) & (2)”（March 16-17）
Speaker
SCHWICHTENBERG, Helmut （Professor, Ludwig-Maximilians-Universität München）
Schedule
“Proof Theory and Computation (1) ” / Friday, 16 March 2018, 16:00～18:00
“Proof Theory and Computation (2)” / Saturday, 17 March 2018, 16:00～18:00
Venue
Rm. 1102 on the 11th floor, Building #26, Waseda University
Outline
The modern proof theory has been established in the 20th century.
In particular, it has been developed in connection with the notion of computation, which was formulated mathematically in 1930’s.
In this event, Professor Helmut Schwichtenberg, who is one of the authors of books “Basic Proof Theory” and “Proofs and Computations” (both are published from Cambridge University Press), would give us two lectures on proof theory and computation.
The prospected audience are graduate students and researchers who have basic knowledge of mathematical logic.
Abstract & Presentation Slides
For Abstract, please lick here.
For Presentation Slides, please click here.
Coordinator
FUJIWARA, Makoto（Assistant Professor, Waseda University）
AKIYOSHI, Ryota （Associate Professor, Waseda University）
Prospected Audience
Faculty and staff members of a university, grad students, undergraduates, the general publics
Language
English
Organizer
Waseda Institute for Advanced Study, Waseda University
Registration
Free of charge. Please come to the event venue directly.
