Gaisi Takeuti

matemático japonés

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]

Gaisi Takeuti (竹内 外史 Takeuchi Gaishi)
Información personal
Nombre en japonés 竹内外史 Ver y modificar los datos en Wikidata
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

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.

Bibliografía editar

  • 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

Notas y referencias editar

  1. http://worldcat.org/identities/lccn-n50008917/
  2. https://kgs.logic.at/organization/our-presidents
  3. Takeuti, Gaisi (2003). Memoirs of a proof theorist : Gödel and other logicians. Consultado el 13 de mayo de 2017. 
  4. Takeuti, 1953. Un erratum de este artículo fue publicado en el mismo journal (24:149–156, 1954).