Arend Heyting
mathématicien néerlandais De Wikipédia, l'encyclopédie libre
mathématicien néerlandais De Wikipédia, l'encyclopédie libre
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.
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 |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.