Gaisi Takeuti

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

Gaisi Takeuti (竹内 外史 Takeuchi Gaishi?, born January 25, 1926) is a Japanese mathematician, known for his work in proof theory.[1]

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 respected 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.[2] He is also known for his work on ordinal diagrams with Akiko Kino.

Publications

  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.

Notes

  1. Takeuti 2013.
  2. Takeuti 1953. An erratum to this article was published in the same journal (24:149–156, 1954).

External links


<templatestyles src="Asbox/styles.css"></templatestyles>

<templatestyles src="Asbox/styles.css"></templatestyles>