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