Arend Heyting (1898-1980)

Country : Pays-Bas
Language : néerlandais; flamand
Gender : masculin
Birth : Amsterdam (Pays-Bas), 1898
Death : Lugano (Suisse), 1980
Note :
Ecrit aussi en anglais
Mathématicien. - Professeur de mathématiques à l'Université d'Amsterdam, Pays-bas (à partir de 1948)
ISNI : ISNI 0000 0001 0855 5789

Activities of Arend Heyting (1898-1980) (11)

Auteur du texte (8)

Axiomatic projective geometry
Intuitionism
Mathematische Grundlagenforschung, Instuitionismus, Beweistheorie
Axiomatic projective geometry
Intuitionism, an introduction. A. Heyting...
Les Fondements des mathématiques, intuitionnisme, théorie de la démonstration
Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie
Intuitionistische Axiomatiek der projectieve meetkunde... door Arend Heyting,...

Éditeur scientifique (2)

Constructivity in mathematics, proceedings of the colloquium held at Amsterdam, 1957. Edited by A. Heyting,...
Studies in logic and the foundations of mathematics

Collaborateur (1)

Philosophie mathématique

Documents about Arend Heyting (1898-1980) (1)

Livres (1)

Semantical investigations in Heyting's intuitionistic logic

See also (7)