العربية
中国
Français
Deutsch
Ελληνική
हिन्दी
Italiano
日本語
Português
Русский
EspañolGAISI TAKEUTI
'Gaisi Takeuti' (Japanese: 竹内 外史 ''Takeuchi Gaishi''; born January 25, 1926) is a Japanese mathematician, known for his work in proof theory.
After graduating from Tokyo University, he went to Princeton to study under Kurt Gödel.
He later became a professor at the University of Illinois at Urbana-Champaign. Takeuti is the current president (since 2003) of the Kurt Gödel Society, having worked on the respected book .
His goal was to prove the consistency of the real numbers. To this end,
Takeuti's conjecture speculates that a sequent formalisation of second-order logic has cut-elimination. [1]
He is also known for his work on ordinal diagrams with Akiko Kino.
1. Gaisi Takeuti (1953). "On a generalized logic calculus". ''Japanese Journal of Mathematics'' 23:39–96.
An erratum to this article was published in the same journal (24:149–156, 1954).
★ Presidents of the Kurt Gödel Society
★ Takeuti Symposium (contains relevant birthdate information)
★ Google Books preview of Memoirs of a Proof Theorist: Godel and Other Logicians
★ Logic Colloqium ’98 Proceedings (contains biography)
After graduating from Tokyo University, he went to Princeton to study under Kurt Gödel.
He later became a professor at the University of Illinois at Urbana-Champaign. Takeuti is the current president (since 2003) of the Kurt Gödel Society, having worked on the respected book .
His goal was to prove the consistency of the real numbers. To this end,
Takeuti's conjecture speculates that a sequent formalisation of second-order logic has cut-elimination. [1]
He is also known for his work on ordinal diagrams with Akiko Kino.
| Contents |
| References |
| External links |
References
1. Gaisi Takeuti (1953). "On a generalized logic calculus". ''Japanese Journal of Mathematics'' 23:39–96.
An erratum to this article was published in the same journal (24:149–156, 1954).
External links
★ Presidents of the Kurt Gödel Society
★ Takeuti Symposium (contains relevant birthdate information)
★ Google Books preview of Memoirs of a Proof Theorist: Godel and Other Logicians
★ Logic Colloqium ’98 Proceedings (contains biography)
This article provided by Wikipedia. To edit the contents of this article, click here for original source.
psst.. try this: add to faves
