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.
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.
To this end, Takeuti's conjecture speculates that a sequent formalisation of second-order logic has cut-elimination.
You can help Wikipedia by expanding it.This article about an Asian mathematician is a stub.