Gaisi Takeuti

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Gaisi Takeuti
Nascimento 25 de janeiro de 1926
Morte 10 de maio de 2017 (91 anos)
Nacionalidade Japonês
Orientador(es) 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 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.[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[editar | editar código-fonte]

Ícone de esboço Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.