Arend Heyting
personne
mathématicien néerlandais
Arend Heyting (Amsterdam aux Pays-Bas, 9 mai 1898 - Lugano en Suisse, 9 juillet 1980) est un mathématicien et logicien néerlandais. Il était un élève de Luitzen Egbertus Jan Brouwer à l'université d'Amsterdam, et a beaucoup contribué à ce que la logique intuitionniste fasse partie de la logique mathématique.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Arend_Heyting
Lien Wikidata : https://www.wikidata.org/wiki/Q641771
Propriétés
- date_deces
- +1980-07-0
- date_naissance
- +1898-05-0
- genre_personne
- masculin
- lieu_deces
- {"qid": "Q7024", "label": "Lugano"}
- lieu_naissance
- {"qid": "Q727", "label": "Amsterdam"}
- nationalite
- Royaume des Pays-Bas
- occupation
- professeur d'université
- p106_all
- professeur d'université, mathématicien ou mathématicienne