Nascita |
9 maggio 1898 Amsterdam |
---|---|
Morte |
9 luglio 1980(all'82) Lugano |
Nazionalità | olandese |
Formazione | Università di Amsterdam (1916-1922) |
Attività | Matematico , professore universitario |
Lavorato per | Q2658642 (1922-1936) , Università di Amsterdam (15 settembre 1937 -21 maggio 1948) , Università di Amsterdam (1 ° mese di ottobre 1948 -12 aprile 1965) , Università di Amsterdam (12 aprile 1965 -1 ° settembre 1968,) , Università di Amsterdam (12 aprile 1965 -1 ° settembre 1968,) |
---|---|
Campo | Matematica |
Membro di | Accademia reale olandese delle arti e delle scienze |
Maestro | Gerrit Mannoury ( dentro ) |
Supervisore | Luitzen Egbertus Jan Brouwer (1925) |
Heyting algebra , Brouwer-Heyting-Kolmogorov Interpretazione , Heyting aritmetica ( d ) , completa Heyting algebra ( d ) , campo Heyting ( d ) |
Arend Heyting ( Amsterdam nei Paesi Bassi ,9 maggio 1898- Lugano in Svizzera ,9 luglio 1980) è un matematico e logico olandese . Era uno studente di Luitzen Egbertus Jan Brouwer presso l' Università di Amsterdam , ed è stato determinante nel rendere logica intuizionista parte della logica matematica .