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
Biographie
Naissance
Décès
(à 82 ans)
Lugano
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Membre de
Maîtres
Gerrit Mannoury (en), Luitzen Egbertus Jan Brouwer
Dir. de thèse
Œuvres principales
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

Liens externes

  • 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.