Arend Heyting

Arend Heyting Imagem na Infobox. Biografia
Aniversário 9 de maio de 1898
Amsterdam
Morte 9 de julho de 1980(em 82)
Lugano
Nacionalidade holandês
Treinamento Universidade de Amsterdã (1916-1922)
Atividades Matemático , professor universitário
Outra informação
Trabalhou para Q2658642 (1922-1936) , Universidade de Amsterdã (15 de setembro de 1937 -21 de maio de 1948) , Universidade de Amsterdã (1 r de Outubro de 1948 -12 de abril de 1965) , Universidade de Amsterdã (12 de abril de 1965 -1 st de Setembro de 1968) , Universidade de Amsterdã (12 de abril de 1965 -1 st de Setembro de 1968)
Campo Matemática
Membro de Academia Real Holandesa de Artes e Ciências
Mestre Gerrit Mannoury ( em )
Supervisor Luitzen Egbertus Jan Brouwer (1925)
Trabalhos primários
Álgebra de Heyting , interpretação de Brouwer-Heyting-Kolmogorov , aritmética de Heyting ( d ) , álgebra de Heyting completa ( d ) , campo de Heyting ( d )

Arend Heyting ( Amsterdã na Holanda ,9 de maio de 1898- Lugano na Suíça ,9 de julho de 1980) é um matemático e lógico holandês . Ele foi aluno de Luitzen Egbertus Jan Brouwer na Universidade de Amsterdã e foi fundamental para tornar a lógica intuicionista parte da lógica matemática .

Biografia

Veja também

Bibliografia

Artigos relacionados

links externos