Talk: Ryota Akiyoshi (Waseda University/Keio University, Japan)
Takeuti’s finitism in the context of the Kyoto school
Gaisi Takeuti (1926-2017) is one of the most distinguished logicians in proof theory after Hilbert and Gentzen. He furthered the realization of Hilbert's program by formulating Gentzen's sequent calculus for higher-oder logics, conjecturing the cut-elimination theorem holds for it (Takeuti's conjecture), and obtaining several stunning results in the 1950--60's towards the solution of his conjecture.
In this talk, we aim to describe a general outline of our project to investigate Takeuti's philosophy of mathematics. In particular, we point out that there is a crucial difference between Takeuti's program and Hilbert's program, which is based on the fact that Takeuti's philosophical thinking goes back to Nishida's philosophy in Japan.
This is joint work with Andrew Arana.