Back جيسى تاكيوتى ARZ Takeuti Gaisi German Gaisi Takeuti Spanish Gaisi Takeuti French 竹内外史 Japanese 다케우치 가이시 Korean Gaisi Takeuti Portuguese
Gaisi Takeuti | |
|---|---|
竹内 外史 | |
| Born | January 25, 1926 |
| Died | May 10, 2017 (aged 91) |
| Nationality | Japanese |
| Education | Tokyo University |
| Alma mater | Princeton |
| Known for | Work in proof theory |
| Scientific career | |
| Fields | Mathematics |
| Institutions | University of Illinois at Urbana–Champaign |
Gaisi Takeuti (竹内 外史, Takeuchi, Gaishi, January 25, 1926 – May 10, 2017[1]) was a Japanese mathematician, known for his work in proof theory.[2]
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 was president (2003–2009) of the Kurt Gödel Society, having worked on the book Memoirs of a Proof Theorist: Godel and Other Logicians. 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.[3] He is also known for his work on ordinal diagrams with Akiko Kino.
- ^ Sam Buss (2017-05-10). "[Proof Complexity] Gaisi Takeuti". Proof-Complexity mailing list. Retrieved 2019-01-13.
- ^ Takeuti 2013.
- ^ Takeuti 1953. An erratum to this article was published in the same journal as (Takeuti 1954).