How to Pronounce Gaisi Takeuti
#20
Most Popular
Boost
Jan 25, 1926 Japan Died on 10 May 2017 (aged 91)
Japanese mathematician
AquariusGaisi Takeuti - Place of Birth, Date of Birth, Age, Wiki, Facts, Net Worth, Birthday, Biography and Family
Gaisi Takeuti, Date of Birth, Place of Birth, Family, Facts, Age, Net Worth, Biography and More in FamedBorn.com
About Gaisi Takeuti
- Gaisi Takeuti (?? ??, Takeuchi, Gaishi, January 25, 1926 – May 10, 2017) was 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 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.
- He is also known for his work on ordinal diagrams with Akiko Kino.
