Gaisi Takeuti
From Wikipedia, the free encyclopedia
Gaisi Takeuti (Japanese: 竹内 外史 Takeutchi 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.
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.
[edit] References
- ^ 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).
[edit] External links
 This biography of an academic is a stub. You can help by expanding it. |
