Gaisi Takeuti

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	Tokyo University of Education Universidad de Illinois en Urbana-Champaign
[editar datos en Wikidata]

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.

• Takeuti, Gaisi (1953). "On a generalized logic calculus". Japanese Journal of Mathematics. 23: 39–96. ISSN 0075-3432.
• Takeuti, Gaisi; Zaring, Wilson M. (1971), Introduction to axiomatic set theory, Graduate Texts in Mathematics, 1, New York-Berlin: Springer-Verlag, ISBN 0387900241 9780387900247 0387053026 9780387053028 3540053026 9783540053026
• Takeuti, Gaisi; Zaring, Wilson M. (1973), Axiomatic set theory, Graduate Texts in Mathematics, 8, New York-Berlin: Springer-Verlag, MR 0416914
• Takeuti, Gaisi (2013) [1975]. Proof theory (Second ed.). Mineola, New York: Dover Publications. ISBN 978-0-486-49073-1.
• Takeuti, Gaisi (1978), Two applications of logic to mathematics, Publications of the Mathematical Society of Japan, 13, Princeton, N.J.: Princeton University Press, ISBN 0-691-08212-X, MR 0505474
• Takeuti, Gaisi (2003) [1998], Memoirs of a proof theorist. Gödel and other logicians, River Edge, NJ: World Scientific Publishing Co., Inc., ISBN 9789812382795, MR 1984952
• Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980, ISBN 0387111611 9780387111612 3540111611 9783540111610