Gaisi Takeuti

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Gaisi Takeuti
Matemática
Nacionalidade Japão Japonês
Nascimento 25 de janeiro de 1926 (88 anos)
Atividade
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]

Referências

  1. Takeuti, Gaisi (1953), "On a generalized logic calculus", Japanese Journal of Mathematics 23: 39–96, ISSN 0075-3432  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.