Gaisi Takeuti
| Gaisi Takeuti | |
|---|---|
| Nascimento | 25 de janeiro de 1926 |
| Morte | 10 de maio de 2017 (91 anos) |
| Nacionalidade | Japonês |
| Orientador(es)(as) | Shokichi Iyanaga |
| Instituições | Universidade de Illinois em Urbana-Champaign |
| Campo(s) | Matemática |
Gaisi Takeuti (竹内 外史 Takeuchi Gaishi?, 25 de janeiro de 1926 – 10 de maio de 2017) foi um matemático japonês.[1]
É conhecido por seu trabalho sobre teoria da prova.
Após a graduação na Universidade de Tóquio foi para a Universidade de Princeton, onde foi aluno de Kurt Gödel. Tornou-se depois professor da Universidade de Illinois em Urbana-Champaign. Takeuti foi presidente (2003-2009) da Sociedade Kurt Gödel, coautor do livro Memoirs of a Proof Theorist: Godel and Other Logicians.
Sua meta de pesquisas foi provar a consistência dos números reais. Com este propósito, a conjectura de Takeuti especula que uma formalização sequente de lógica de segunda ordem tem eliminação de corte.[2]
Referências
- ↑ «数学者の竹内外史さん死去 米イリノイ大名誉教授» (em japonês). Asahi Shimbun. 15 de maio de 2017. Consultado em 15 de maio de 2017
- ↑ Takeuti, Gaisi (1953), «On a generalized logic calculus», Japanese Journal of Mathematics, ISSN 0075-3432, 23: 39–96 Uma errata a este artigo foi publicada no mesmo periódico (24:149–156, 1954).
