Summary
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 | 竹内外史 | |
| 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- ↑ http://worldcat.org/identities/lccn-n50008917/
- ↑ https://kgs.logic.at/organization/our-presidents
- ↑ Takeuti, Gaisi (2003). Memoirs of a proof theorist : Gödel and other logicians. Consultado el 13 de mayo de 2017.
- ↑ Takeuti, 1953. Un erratum de este artículo fue publicado en el mismo journal (24:149–156, 1954).
Datos: Q873653
