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

https://halshs.archives-ouvertes.fr/halshs-02444186
Contributor : Andrew Arana <>
Submitted on : Friday, January 17, 2020 - 4:26:09 PM
Last modification on : Tuesday, September 22, 2020 - 3:47:19 AM

File

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

Identifiers

  • HAL Id : halshs-02444186, version 1

Citation

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⟩

Share

Metrics

Record views

50

Files downloads

57