![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/a/a7/Arend_Heyting_%25281967%2529.jpg/640px-Arend_Heyting_%25281967%2529.jpg&w=640&q=50)
Arend Heyting
mathématicien néerlandais / De Wikipedia, l'encyclopédie 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.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Faits en bref Naissance, Décès ...
Arend Heyting
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, algèbre de Heyting complète (d), Heyting field (d), arithmétique de Heyting ![]() |
Fermer