Gaisi Takeuti
Origem: Wikipédia, a enciclopédia livre.
| Gaisi Takeuti | |
|---|---|
| Matemática | |
 |
|
| Nacionalidade |  Japonês |
| Nascimento | 25 de janeiro de 1926 (87 anos) |
| Actividade | |
| Campo(s) | Matemática |
| Instituições | Universidade de Illinois em Urbana-Champaign |
| Orientador(es) | Shokichi Iyanaga |
Gaisi Takeuti (竹内 外史 Takeuchi Gaishi?, 25 de janeiro de 1926) é um matemático japonês
É 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 é o atual presidente (desde 2003) da Sociedade Kurt Gödel Society, 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.1
