Arend Heyting
(Redirigé depuis Heyting)
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
.jpg)
| Naissance | |
|---|---|
| Décès | |
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour |
Université d'Amsterdam ( - Université d'Amsterdam ( - Université d'Amsterdam ( - Université d'Amsterdam ( - Het Stedelijk Lyceum Enschede (d) (- |
|---|---|
| Membre de | |
| Maîtres |
Gerrit Mannoury (en), Luitzen Egbertus Jan Brouwer |
| Directeur de thèse |
Algèbre de Heyting, interprétation de Brouwer-Heyting-Kolmogorov, Heyting arithmetic (d), algèbre de Heyting complète (d), Heyting field (d) |
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[modifier | modifier le code]
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
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]
- (en) John J. O'Connor et Edmund F. Robertson, « Arend Heyting », sur MacTutor, université de St Andrews.
