.jpg)
Arend Heyting
mathématicien néerlandais
From Wikipedia, the free encyclopedia
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.
Cet article est une ébauche concernant un mathématicien.
Naissance
Décès
Nationalité
Formation
Arend Heyting
.jpg)
| Naissance | |
|---|---|
| Décès | |
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour |
Université d'Amsterdam ( - Université d'Amsterdam ( - Université d'Amsterdam ( - Enschede Municipal Lyceum (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 |
Biographie
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.
- (en) Arend Heyting, Intuitionism : An Introduction, Amsterdam, North Holland Publishing, , 156 p. (lire en ligne)
Articles connexes
- Algèbre de Heyting
- Arithmétique de Heyting
- Corps de Heyting (en)
Liens externes
- (en) John J. O'Connor et Edmund F. Robertson, « Arend Heyting », sur MacTutor, université de St Andrews.
