Gaisi Takeuti

Gaisi Takeuti
Nascimento
25 de janeiro de 1926
Morte
10 de maio de 2017 (91 anos)
NacionalidadeJaponês
Carreira científica
Orientador(es)(as)Shokichi Iyanaga
InstituiçõesUniversidade 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

  1. ↑ «数学者の竹内外史さん死去　米イリノイ大名誉教授» (em japonês). Asahi Shimbun. 15 de maio de 2017. Consultado em 15 de maio de 2017 
  2. ↑ 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

Este artigo é emitido por Wikipédia. O texto é licenciado sob Creative Commons Attribution-Share Alike 4.0. Termos adicionais podem ser aplicados aos arquivos de mídia.