Gaisi Takeuti, Date of Birth, Place of Birth, Date of Death
TweetGaisi Takeuti
Japanese mathematician
Date of Birth: 
Place of Birth: Japan
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.
Read more at Wikipedia