Arend Heyting (Amsterdam aux Pays-Bas, - Lugano en Suisse, ) 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.
Biographie
Voir aussi Bibliographie Les Fondements des mathématiques, intuitionnisme, théorie de la démonstration, Gauthier-Villars, Nauwelaerts, 1955, 91 pages.
Articles connexes Algèbre de Heyting Arithmétique de Heyting
Liens externes
Catégorie:Mathématicien néerlandais du XXe siècle Catégorie:Logicien néerlandais Catégorie:Intuitionnisme Catégorie:Naissance en mai 1898 Catégorie:Naissance à Amsterdam au XIXe siècle Catégorie:Décès en juillet 1980 Catégorie:Décès à Lugano Catégorie:Étudiant de l'université d'Amsterdam Catégorie:Décès à 82 ans