Arend Heyting
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.
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 (en)
- Corps de Heyting (en)
Liens externes
- Notices d'autorité :
- Fichier d’autorité international virtuel
- International Standard Name Identifier
- CiNii
- Bibliothèque nationale de France (données)
- Système universitaire de documentation
- Bibliothèque du Congrès
- Gemeinsame Normdatei
- Bibliothèque royale des Pays-Bas
- Bibliothèque universitaire de Pologne
- Bibliothèque nationale de Catalogne
- Base de bibliothèque norvégienne
- Bibliothèque nationale tchèque
- Bibliothèque nationale de Lettonie
- WorldCat Id
- 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
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.