Arend Heyting

Heyting war Schüler von Luitzen Egbertus Jan Brouwer an der Universität Amsterdam und hat viel dazu beigetragen, die intuitionistische Logik auf eine Grundlage zu stellen, die Teil der mathematischen Logik werden konnte . Heyting lieferte die erste formale Entwicklung der intuitionistischen Logik, um Brouwers Methode der Mathematik zu kodifizieren. Die Aufnahme des Namens Brouwer in die Brouwer-Heyting-Kolmogorov-Interpretation ist weitgehend ehrenhaft, da Brouwer grundsätzlich gegen die Formalisierung bestimmter intuitionistischer Prinzipien war (und sogar Heytings Werk eine "sterile Übung" nannte). ^[1]

1942 wurde er Mitglied der Königlich Niederländischen Akademie der Künste und Wissenschaften . ^[2]

Heyting wurde in Amsterdam , Niederlande , geboren und starb in Lugano , Schweiz .

• Heyting, A. (1930) Die formalen Regeln der intuitionistischen Logik. (Deutsch) 3 Teile, In: Sitzungsberichte der preußischen Akademie der Wissenschaften. phys.-math. Klasse, 1930, 42–56, 57–71, 158–169.
• Heyting, A. (1934) Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Springer, Berlin. ^[3]
• Heyting, A. (1941) Untersuchungen der intuitionistischen Algebra. (Deutsch) Verh. Nederl. Akad. Wetensch. Afd. Natur. Sekte. 1. 18. nein. 2, 36 S.
• Heyting, A. (1956) Intuitionismus. Eine Einleitung. North-Holland Publishing Co., Amsterdam.
• Heyting, A. (1959) Axiome für intuitionistische ebene affine Geometrie. Die axiomatische Methode. Mit besonderem Bezug auf Geometrie und Physik. Tagungsband eines Internationalen Symposiums an der Univ. of Calif., Berkeley, 26. Dezember 1957 – 4. Januar 1958 (herausgegeben von L. Henkin, P. Suppes und A. Tarski) S. 160–173 Studies in Logic and the Foundations of Mathematics North-Holland Publishing Co. , Amsterdam.
• Heyting, A. (1962) Nach dreißig Jahren. 1962 Logik, Methodik und Philosophie der Wissenschaft (Proc. 1960 Internat. Congr.) S. 194–197 Stanford Univ. Presse, Stanford, Kalifornien.
• Heyting, A. (1963) Axiomatische projektive Geometrie. Bibliotheca Mathematica, Bd. V. Interscience Publishers John Wiley & Sons, Inc., New York; P. Noordhoff NV, Groningen; North-Holland Publishing Co., Amsterdam.
• Heyting, A. (1966) Intuitionismus: Eine Einführung. Zweite überarbeitete Auflage North-Holland Publishing Co., Amsterdam.
• Heyting, A. (1973) Ansprache an Professor A. Robinson. Anlässlich des Brouwer Gedenkvortrages von Prof. A.Robinson am 26. April 1973. Nieuw Arch. Wisk. (3) 21, S. 134–137.
• Heyting, A. (1974) Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. (Deutsch) Nachdruck. Springer-Verlag, Berlin–New York.
• Heyting, A. (1980) Axiomatische projektive Geometrie. Zweite Ausgabe. Bibliotheca Mathematica [Mathematikbibliothek], V. Wolters-Noordhoff Scientific Publications, Ltd., Groningen; North-Holland Publishing Co., Amsterdam–New York.

• O'Connor, John J .; Robertson, Edmund F. , "Arend Heyting" , MacTutor History of Mathematics Archiv , University of St Andrews

Dieser Artikel über einen niederländischen Wissenschaftler ist ein Stummel . Sie können Wikipedia helfen, indem Sie es erweitern .

• v
• t
• e

Dieser Artikel über einen europäischen Mathematiker ist a Stummel . Sie können Wikipedia helfen, indem Sie es erweitern .

• v
• t
• e