Arend Heyting

Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 12 novembre 2020 à 14:05 et modifiée en dernier par Python72 (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.

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
Décès
Voir et modifier les données sur Wikidata (à 82 ans)
LuganoVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Université d'Amsterdam ( - )
Université d'Amsterdam ( - )
Université d'Amsterdam ( - )
Université d'Amsterdam ( - )
Het Stedelijk Lyceum Enschede (d) (-)Voir et modifier les données sur Wikidata
Membre de
Maîtres
Gerrit Mannoury (en), Luitzen Egbertus Jan BrouwerVoir et modifier les données sur Wikidata
Directeur de thèse
Œuvres principales
Algèbre de Heyting, interprétation de Brouwer-Heyting-Kolmogorov, Heyting arithmetic, algèbre de Heyting complète (d), Heyting field (d)Voir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

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

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

Liens externes

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Arend_Heyting&oldid=176512135 ».