Arend Heyting

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant un mathématicien
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[modifier | modifier le code]

Bibliographie[modifier | modifier le code]

  • Les fondements des mathématiques, intuitionnisme, théorie de la démonstration, Gauthier-Villars, Nauwelaerts, 1955, 91 pages.

Articles connexes[modifier | modifier le code]

Liens externes[modifier | modifier le code]