Arend Heyting
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche concernant un mathématicien.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
|
Arend Heyting (Amsterdam, 9 mai 1898 - Lugano, 9 juillet 1980) était 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.
Il est né à Amsterdam, Pays-Bas, et est décédé à Lugano, en Suisse.
