Arend Heyting
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/35px-Racine_carr%C3%A9e_bleue.svg.png)
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
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a7/Arend_Heyting_%281967%29.jpg/260px-Arend_Heyting_%281967%29.jpg)
Naissance | ![]() Amsterdam ![]() |
---|---|
Décès | ![]() Lugano ![]() |
Nationalité | néerlandaise ![]() |
Formation | |
Activités | Mathématicien, professeur d'université ![]() |
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, algèbre de Heyting complète (d), Heyting field (d), arithmétique de Heyting ![]() |
modifier - modifier le code - modifier Wikidata
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
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/87/Fairytale_warning.png/17px-Fairytale_warning.png)
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
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
- Corps de Heyting (en)
Liens externes
- Notices d'autorité
:
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- CiNii
- Pays-Bas
- Pologne
- Israël
- NUKAT
- Catalogne
- Norvège
- Tchéquie
- Lettonie
- WorldCat
- (en) John J. O'Connor et Edmund F. Robertson, « Arend Heyting », sur MacTutor, université de St Andrews.
Portail des mathématiques