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.webp)
| Naissance | |
|---|---|
| Décès |
(à 82 ans) Lugano |
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour |
Université d'Amsterdam ( - |
|---|---|
| Membre de | |
| Maîtres |
Gerrit Mannoury (en), Luitzen Egbertus Jan Brouwer |
| Dir. de thèse |
Algèbre de Heyting, Interprétation de Brouwer-Heyting-Kolmogorov, Heyting arithmetic (d), complete Heyting algebra (d), Heyting field (d) |
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 nationale de Pologne
- Bibliothèque nationale d’Israël
- 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).
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.