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.
Arend Heyting
.jpg)
| Naissance | |
|---|---|
| Décès |
(à 82 ans) Lugano |
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour |
Université d'Amsterdam ( - |
|---|---|
| Domaine | |
| Membre de | |
| Directeur de thèse |
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 (en)
- Corps de Heyting (en)
Liens externes
- Notices d'autorité :
- Fichier d’autorité international virtuel
- International Standard Name Identifier
- 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
- (en) John J. O'Connor et Edmund F. Robertson, « Arend Heyting », dans MacTutor History of Mathematics archive, université de St Andrews (lire en ligne).
Cet article est issu de
Wikipedia.
Le texte est sous licence Creative
Commons - Attribution - Sharealike.
Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.