Arend 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

Biographie
Naissance	9 mai 1898 Amsterdam
Décès	9 juillet 1980 (à 82 ans) Lugano
Nationalité	néerlandaise
Formation	Université d'Amsterdam (1916-1922)
Activités	Mathématicien, professeur d'université

Autres informations
A travaillé pour	Université d'Amsterdam (12 avril 1965 - 1^er septembre 1968) Université d'Amsterdam (12 avril 1965 - 1^er septembre 1968) Université d'Amsterdam (1^er octobre 1948 - 12 avril 1965) Université d'Amsterdam (15 septembre 1937 - 21 mai 1948) Het Stedelijk Lyceum Enschede (d) (1922-1936)
Membre de	Académie royale néerlandaise des arts et des sciences
Maîtres	Gerrit Mannoury (en), Luitzen Egbertus Jan Brouwer
Directeur de thèse	Luitzen Egbertus Jan Brouwer (1925)

Œuvres principales
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, 9 mai 1898 - Lugano en Suisse, 9 juillet 1980) 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

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

Les Fondements des mathématiques, intuitionnisme, théorie de la démonstration, Gauthier-Villars, Nauwelaerts, 1955, 91 pages.