Arend Heyting
|
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 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.
Voir aussi
Articles connexes
- Algèbre de Heyting (en)
- Arithmétique de Heyting (en)
- Corps de Heyting (en)
Liens externes
- Notices d’autorité : Fichier d’autorité international virtuel • International Standard Name Identifier • Bibliothèque nationale de France • Système universitaire de documentation • Bibliothèque du Congrès • Gemeinsame Normdatei • WorldCat
- (en) John J. O’Connor et Edmund F. Robertson, « Arend Heyting », dans MacTutor History of Mathematics archive, université de St Andrews (lire en ligne).
- Portail des mathématiques