Arend Heyting

Arend Heyting Immagine in Infobox. Biografia
Nascita 9 maggio 1898
Amsterdam
Morte 9 luglio 1980(all'82)
Lugano
Nazionalità olandese
Formazione Università di Amsterdam (1916-1922)
Attività Matematico , professore universitario
Altre informazioni
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)
Opere primarie
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 .

Biografia

Vedi anche

Bibliografia

Articoli Correlati

link esterno