Skip to Main content Skip to Navigation
Journal articles

Takeuti's proof theory in the context of the Kyoto School

Abstract : Gaisi Takeuti (1926-2017) is one of the most distinguished logicians in proof-theory after Hilbert and Gentzen. He extensively extended Hilbert's program in the sense that he formulated Gentzen's sequent calculus, conjectured that cut-elimination holds for it (Takeuti's conjecture), and obtained several stunning results in the 1950-60s towards the solution of his conjecture. Though he has been known chiefly as a great mathematician, he wrote many papers in English and Japanese where he expressed his philosophical thoughts. In particular, he used several keywords such as "active intuition" and "self-reflection" from Nishida's philosophy. In this paper, we aim to describe a general outline of our project to investigate Takeuti's philosophy of mathematics. In particular, after reviewing Takeuti's proof-theoretic results briefly, we describe some key elements in Takeuti's texts. By explaining these texts, we point out the connection between Takeuti's proof theory and Nishida's philosophy and explain the future goals of our project.
Document type :
Journal articles
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download
Contributor : Andrew Arana <>
Submitted on : Friday, January 17, 2020 - 4:26:09 PM
Last modification on : Tuesday, September 22, 2020 - 3:47:19 AM


Arana Ronso 2019.pdf
Files produced by the author(s)


  • HAL Id : halshs-02444186, version 1


Ryota Akiyoshi, Andrew Arana. Takeuti's proof theory in the context of the Kyoto School. Jahrbuch für Philosophie das Tetsugaku-Ronso, 2019. ⟨halshs-02444186⟩



Record views


Files downloads