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 |
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) |
Á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 .