Andrew Arana
University of Lorraine
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.
Keywords Philosophy of mathematics  Proof theory  Japanese philosophy  Kyoto School  Nishida  Hilbert
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Grundlagen der Mathematik.S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (1):16-20.
On a Generalized Logic Calculus.Gaisi Takeuti - 1957 - Journal of Symbolic Logic 22 (4):351-352.
On the Theory of Ordinal Numbers.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):67-67.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Omnibus Review. [REVIEW]Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
Proof Theory and Set Theory.Gaisi Takeuti - 1985 - Synthese 62 (2):255 - 263.
Translation of Tosaka Jun's "The Philosophy of the Kyoto School".Kenn Nakata Steffensen - 2016 - Comparative and Continental Philosophy 8 (1):53-71.
Hilbert’s Program.Richard Zach - 2003 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Center for the Study of Language and Information, Stanford University.
Proof Theory.Gaisi Takeuti - 1987 - Elsevier.
Proof Theory for Theories of Ordinals—I: Recursively Mahlo Ordinals.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 122 (1-3):1-85.
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.


Added to PP index

Total views
77 ( #132,637 of 2,425,254 )

Recent downloads (6 months)
9 ( #76,911 of 2,425,254 )

How can I increase my downloads?


My notes