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).
Ligações externas
- Gaisi Takeuti (em inglês) no Mathematics Genealogy Project
- Presidents of the Kurt Gödel Society
- Takeuti Symposium (contains relevant birthdate information)
- Google Books preview of Memoirs of a Proof Theorist: Godel and Other Logicians
- Logic Colloqium ’98 Proceedings (contains biography)
 | Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.
|
