Arend Heyting
Arend Heyting ( niederländisch: [ˈɦɛi̯tɪŋ] ; 9. Mai 1898 – 9. Juli 1980) war ein niederländischer Mathematiker und Logiker .
Arend Heyting | |
---|---|
![]() Arend Heyting (1967) | |
Geboren | |
Ist gestorben | 9. Juli 1980 | (82 Jahre)
Staatsangehörigkeit | Niederländisch |
Alma Mater | Universität Amsterdam |
Bekannt für | Heyting Algebra Heyting Arithmetik Beiträge zum Intuitionismus |
Wissenschaftlicher Werdegang | |
Felder | Mathematik |
Institutionen | Universität Amsterdam |
Doktoratsberater | LEJ Brouwer |
Doktoranden | Anne Sjerp Troelstra Dirk van Dalen |
Biografie
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 .
Ausgewählte Publikationen
- 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.
Verweise
- ^ Walter P. van Stigt (1990). Brouwers Intuitionismus . Amsterdam: Nordholland.
- ^ "Arend Heyting (1898 - 1980)" . Königlich Niederländische Akademie der Künste und Wissenschaften . Abgerufen am 28. Juli 2015 .
- ^ Kirche, Alonzo (1935). „Rezension: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie von A. Heyting“. Stier. Amer. Mathematik. Soz . 41 : 476–477. doi : 10.1090/S0002-9904-1935-06126-9 .
Externe Links
- O'Connor, John J .; Robertson, Edmund F. , "Arend Heyting" , MacTutor History of Mathematics Archiv , University of St Andrews