226305 materialEducativo

Gaisi Takeuti

Gustatzen zait 0
Bisitak 24
Oharrak 0
Hemen gorde:
Ekintzak
- Lotura bidali

Baliabide honi buruz...

Gaisi Takeuti

Artículo WikipediaFuente Dbpedia

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.

Fecha de nacimiento 1926-01-01

Año de nacimiento 1926

Numero individualizado de la Biblioteca Nacional Alemana 107888580

Wikipedia Inglés http://en.wikipedia.org/wiki/Gaisi_Takeuti

Wikipedia Español http://es.wikipedia.org/wiki/Gaisi_Takeuti

Enlaces externos relacionado 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