Gaisi Takeuti - Gaisi Takeuti
Gaisi Takeuti | |
---|---|
竹 内 外史 | |
Nascer | 25 de janeiro de 1926 |
Faleceu | 10 de maio de 2017 | (91 anos)
Nacionalidade | japonês |
Educação | Universidade de Tóquio |
Alma mater | Princeton |
Conhecido por | Trabalho na teoria da prova |
Carreira científica | |
Campos | Matemática |
Instituições | Universidade de Illinois em Urbana-Champaign |
Gaisi Takeuti ( 竹 内 外史 , Takeuchi, Gaishi , 25 de janeiro de 1926 - 10 de maio de 2017) foi um matemático japonês , conhecido por seu trabalho em teoria da prova .
Depois de se formar na Universidade de Tóquio , ele foi para Princeton para estudar com Kurt Gödel . Mais tarde, ele se tornou professor na Universidade de Illinois em Urbana – Champaign . Takeuti foi presidente (2003–2009) da Kurt Gödel Society , tendo trabalhado no livro Memórias de um Teórico Prova: Gõdel e Outros Lógicos . Seu objetivo era provar a consistência dos números reais. Para esse fim, a conjectura de Takeuti especula que uma formalização sequente da lógica de segunda ordem tem eliminação de corte . Ele também é conhecido por seu trabalho em diagramas ordinais com Akiko Kino.
Publicações
- Takeuti, Gaisi (1953). "Em um cálculo lógico generalizado" . Jornal Japonês de Matemática . 23 : 39–96. doi : 10.4099 / jjm1924.23.0_39 . ISSN 0075-3432 .
- Takeuti, Gaisi (1954). "Errata para 'Em um Cálculo Lógico Generalizado ' " . Jornal Japonês de Matemática . 24 : 149–156. doi : 10.4099 / jjm1924.24.0_149 . ISSN 0075-3432 .
- Takeuti, Gaisi; Zaring, Wilson M. (2011) [1982], Introdução à teoria axiomática dos conjuntos , Graduate Texts in Mathematics, 1 (2ª ed.), New York-Berlin: Springer-Verlag, doi : 10.1007 / 978-1-4613-8168 -6 , ISBN 978-1-4613-8170-9 , MR 0349390
- Takeuti, Gaisi; Zaring, Wilson M. (1973), Axiomatic set theory , Graduate Texts in Mathematics, 8 , New York-Berlin: Springer-Verlag, doi : 10.1007 / 978-1-4684-8751-0 , ISBN 978-0-387-90050-6 , MR 0416914 Reimpressão de Dover 2013
- Takeuti, Gaisi (2013) [1975]. Teoria da prova (segunda ed.). Mineola, Nova York: Dover Publications. ISBN 978-0-486-49073-1 .
- Takeuti, Gaisi (2015) [1978], Duas aplicações da lógica à matemática , Publicações da Sociedade Matemática do Japão, 13 , Princeton, NJ: Princeton University Press, ISBN 978-0-69-161022-1 , MR 0505474
- Takeuti, Gaisi (2003) [1998], Memórias de um teórico da prova. Gödel e outros lógicos , River Edge, NJ: World Scientific Publishing Co., Inc., ISBN 978-981-238-279-5 , MR 1984952
Notas
- ^ Sam Buss (10/05/2017). "[Prova de complexidade] Gaisi Takeuti" . Lista de mala direta de Prova-Complexidade . Obtido em 2013-01-13 .
- ^ Takeuti 2013 .
- ^ Takeuti 1953 . Uma errata deste artigo foi publicada no mesmo jornal que ( Takeuti 1954 ).