Gaisi Takeuti (竹 内 外史, Takeuchi, Gaishi , 25 de enero de 1926 - 10 de mayo de 2017 [1] ) fue un matemático japonés , conocido por su trabajo en la teoría de la prueba . [2]
Gaisi Takeuti | |
---|---|
竹 内 外史 | |
Nació | 25 de enero de 1926 |
Fallecido | 10 de mayo de 2017 | (91 años)
Nacionalidad | japonés |
Educación | Universidad de tokio |
alma mater | Princeton |
Conocido por | Trabajar en teoría de la prueba |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Universidad de Illinois en Urbana-Champaign |
Después de graduarse de la Universidad de Tokio , fue a Princeton para estudiar con Kurt Gödel . Más tarde se convirtió en profesor en la Universidad de Illinois en Urbana – Champaign . Takeuti fue presidente (2003-2009) de la Sociedad Kurt Gödel , después de haber trabajado en el libro Memorias de un teórico de la prueba: Godel y otros lógicos . Su objetivo era demostrar la consistencia de los números reales. Con este fin, la conjetura de Takeuti especula que una formalización secuencial de la lógica de segundo orden tiene eliminación de cortes . [3] También es conocido por su trabajo en diagramas ordinales. con Akiko Kino.
Publicaciones
- Takeuti, Gaisi (1953). "Sobre un cálculo lógico generalizado" . Revista japonesa de matemáticas . 23 : 39–96. doi : 10.4099 / jjm1924.23.0_39 . ISSN 0075-3432 .
- Takeuti, Gaisi (1954). "Errata de 'En un cálculo lógico generalizado ' " . Revista japonesa de matemáticas . 24 : 149-156. doi : 10.4099 / jjm1924.24.0_149 . ISSN 0075-3432 .
- Takeuti, Gaisi; Zaring, Wilson M. (2011) [1982], Introducción a la teoría de conjuntos axiomáticos , Textos de posgrado en matemáticas, 1 (2a ed.), Nueva York-Berlín: Springer-Verlag, doi : 10.1007 / 978-1-4613-8168 -6 , ISBN 978-1-4613-8170-9, MR 0349390
- Takeuti, Gaisi; Zaring, Wilson M. (1973), Teoría de conjuntos axiomáticos , Textos de posgrado en matemáticas, 8 , Nueva York-Berlín: Springer-Verlag, doi : 10.1007 / 978-1-4684-8751-0 , ISBN 978-0-387-90050-6, MR 0416914 Reimpresión de Dover 2013
- Takeuti, Gaisi (2013) [1975]. Teoría de la prueba (Segunda ed.). Mineola, Nueva York: Publicaciones de Dover. ISBN 978-0-486-49073-1.
- Takeuti, Gaisi (2015) [1978], Dos aplicaciones de la lógica a las matemáticas , Publicaciones de la Sociedad Matemática de Japón, 13 , Princeton, Nueva Jersey: Princeton University Press, ISBN 978-0-69-161022-1, MR 0505474
- Takeuti, Gaisi (2003) [1998], Memorias de un teórico de la prueba. Gödel y otros lógicos , River Edge, Nueva Jersey: World Scientific Publishing Co., Inc., ISBN 978-981-238-279-5, Señor 1984952
Notas
- ^ Sam Buss (10 de mayo de 2017). "[Prueba de complejidad] Gaisi Takeuti" . Lista de correo de Proof-Complexity . Consultado el 13 de enero de 2019 .
- ^ Takeuti 2013 .
- ^ Takeuti 1953 . Se publicó una errata de este artículo en la misma revista que ( Takeuti 1954 ).
enlaces externos
- Presidentes de la Sociedad Kurt Gödel
- Simposio de Takeuti (contiene información relevante sobre la fecha de nacimiento)
- Logic Colloqium '98 Proceedings (contiene biografía) en Wayback Machine (archivado el 26 de septiembre de 2006)
- Gaisi Takeuti en el Proyecto de genealogía matemática