foi 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 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. Uma errata a este artigo foi publicada no mesmo periódico (24:149–156, 1954).
Ligações externas
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)
Categoria:Lógicos do Japão Categoria:Pessoas do período Showa Categoria:Pessoas do período Heisei Categoria:Pessoas do período Taisho