Arend Heyting - Arend Heyting

Arend Heyting
Arend Heyting (1967) .jpg
Arend Heyting (1967)
Né ( 09/05/1898 ) 9 mai 1898
Amsterdam , Pays - Bas
Décédés 9 juillet 1980 (09/07/1980) (82 ans)
Lugano , Suisse
Nationalité néerlandais
mère nourricière Université d'Amsterdam
Connu pour Heyting algèbre
Heyting arithmétique
Contributions à l' intuitionnisme
Carrière scientifique
Des champs Mathématiques
Les institutions Université d'Amsterdam
Conseiller doctoral LEJ Brouwer
Doctorants Anne Sjerp Troelstra
Dirk van Dalen

Arend Heyting ( néerlandais:  [ˈɦɛi̯tɪŋ] ; 9 mai 1898 - 9 juillet 1980) était un mathématicien et logicien néerlandais .

Biographie

Heyting était un étudiant de Luitzen Egbertus Jan Brouwer à l' Université d'Amsterdam et a beaucoup fait pour mettre la logique intuitionniste sur un pied où elle pourrait faire partie de la logique mathématique . Heyting a donné le premier développement formel de la logique intuitionniste afin de codifier la manière de Brouwer de faire des mathématiques. L'inclusion du nom de Brouwer dans l' interprétation de Brouwer – Heyting – Kolmogorov est largement honorifique, car Brouwer était opposé en principe à la formalisation de certains principes intuitionnistes (et allait jusqu'à qualifier le travail de Heyting d '«exercice stérile»).

En 1942, il devient membre de l' Académie royale des arts et des sciences des Pays-Bas .

Heyting est né à Amsterdam , aux Pays - Bas , et est décédé à Lugano , en Suisse .

Sélection de publications

  • Heyting, A. (1930) Die formalen Regeln der intuitionistischen Logik. (Allemand) 3 parties, In: Sitzungsberichte der preußischen Akademie der Wissenschaften. phys.-math. Klasse, 1930, 42-56, 57-71, 158-169.
  • Heyting, A. (1934) Mathematische Grundlagenforschung. Intuitionnisme. Beweistheorie. Springer, Berlin.
  • Heyting, A. (1941) Untersuchungen der intuitionistische Algebra. (Allemand) Verh. Nederl. Akad. Wetensch. Afd. Natuurk. Secte. 1. 18. non. 2, 36 pages.
  • Heyting, A. (1956) Intuitionnisme. Une introduction. North-Holland Publishing Co., Amsterdam.
  • Heyting, A. (1959) Axiomes pour la géométrie affine plane intuitionniste. La méthode axiomatique. Avec une référence particulière à la géométrie et à la physique. Actes d'un symposium international tenu à l'Univ. of Calif., Berkeley, 26 décembre 1957-4 janvier 1958 (édité par L. Henkin, P. Suppes et A. Tarski) pp. 160-173 Studies in Logic and the Foundations of Mathematics North-Holland Publishing Co. , Amsterdam.
  • Heyting, A. (1962) Après trente ans. 1962 Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr.) Pp. 194–197 Stanford Univ. Press, Stanford, Californie.
  • Heyting, A. (1963) Géométrie projective axiomatique. Bibliotheca Mathematica, Vol. V. Éditeurs Interscience John Wiley & Sons, Inc., New York; P. Noordhoff NV, Groningen; North-Holland Publishing Co., Amsterdam.
  • Heyting, A. (1966) Intuitionnisme: une introduction. Deuxième édition révisée North-Holland Publishing Co., Amsterdam.
  • Heyting, A. (1973) Discours au professeur A. Robinson. A l'occasion de la conférence commémorative Brouwer donnée par le professeur A.Robinson le 26 avril 1973. Nieuw Arch. Wisk. (3) 21, pp. 134-137.
  • Heyting, A. (1974) Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. (Allemand) Réimpression. Springer-Verlag, Berlin-New York.
  • Heyting, A. (1980) Géométrie projective axiomatique. Deuxième édition. Bibliotheca Mathematica [Bibliothèque de mathématiques], V. Wolters-Noordhoff Scientific Publications, Ltd., Groningen; North-Holland Publishing Co., Amsterdam – New York.

Les références

Liens externes