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. http://worldcat.org/identities/lccn-n50008917/
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;https://kgs.logic.at/organization/our-presidents 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.
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.Takeuti, 1953. Un erratum de este artículo fue publicado en el mismo journal (24:149–156, 1954). También fue conocido por su trabajo en los diagramas ordinales con Akiko Kino.
Bibliografía 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) . 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) , 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
Categoría:Alumnado de la Universidad de Princeton Categoría:Lógicos Categoría:Matemáticos de Japón del siglo XX Categoría:Graduados honorarios de la Universidad de Princeton Categoría:Doctores por la Universidad de Tokio