Gaisi Takeuti
From Wikipedia, the free encyclopedia
Japón (Japón)
| Gaisi Takeuti (竹内 外史 Takeuchi Gaishi) | ||
|---|---|---|
| Información personal | ||
| Nombre en japonés | 竹内外史 | |
| Nacimiento |
25 de enero de 1926 Japón (Japón) | |
| Fallecimiento | 10 de mayo de 2017 | |
| Nacionalidad | Japonesa | |
| Educación | ||
| Educado en | Universidad de Tokio | |
| Supervisor doctoral | Shokichi Iyanaga | |
| Información profesional | ||
| Área | Matemáticas | |
| Conocido por | Teoría de la demostración o Teoría de pruebas | |
| Empleador |
| |
Gaisi Takeuti (竹内 外史 Takeuchi Gaishi, 25 de enero de 1926-10 de mayo de 2017) fue un matemático japonés conocido por su trabajo en la teoría de la demostración, que publicó al menos 47 trabajos en 263 publicaciones.[1]
Después de graduarse en la Universidad de Tokio, fue a la Universidad de Princeton donde estudió bajo la supervisión de Kurt Gödel. Posteriormente, se convertiría en profesor de la Universidad de Illinois en Urbana - Champaign.
El profesor Tauketi fue presidente, entre los años 2003 al 2009, de la Sociedad Kurt Gödel;[2] durante su presidencia en dicha institución trabajó en el reconocido libro Memorias de la teoría de la demostración: Gödel y otros lógicos.[3]
Su principal meta académica fue probar la consistencia de los números reales para lo cual, el profesor Takeuti, especulaba que la formalización de una secuencia lógica de segundo orden se elimina.[4] También fue conocido por su trabajo en los diagramas ordinales con Akiko Kino.
