226313 materialEducativo

Gaisi Takeuti

I like 0
Visits 24
Comments 0
Save to
Actions
- Send link

About this resource...

Gaisi Takeuti

Wikipedia articleDbpedia source

Gaisi Takeuti (?? ??, Takeuchi Gaishi, born January 25, 1926) is 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 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. He is also known for his work on ordinal diagrams with Akiko Kino.

Birth date 1926-01-01

Birth year 1926

Individualised gnd number 107888580

English Wikipedia http://en.wikipedia.org/wiki/Gaisi_Takeuti

Spanish wikipedia http://es.wikipedia.org/wiki/Gaisi_Takeuti

Wiki page external link http://books.google.com/books?id=r5zBzjKuaygC&dq http://kgs.logic.at/index.php?id=42 http://kurt.scitec.kobe-u.ac.jp/sml03/ http://web.archive.org/web/20060926190817/http:/www.math.cas.cz/~lc98/proc.ps