Arend Heyting - LinkFang.de





Arend Heyting


Arend Heyting, eigentlich Heijting, (* 9. Mai 1898 in Amsterdam; † 9. Juli 1980 in Lugano) war ein niederländischer Mathematiker und Logiker. Er war Schüler von L. E. J. Brouwer und befasste sich mit der intuitionistischen Logik, für die er 1930 das erste formalisierte Axiomensystem angab.

Heyting studierte ab 1916 Mathematik an der Universität Amsterdam, wo er von Brouwer und Gerrit Mannoury beeinflusst war. 1922 machte er sein Doctoraalexamen. Danach war er Lehrer in Enschede, befasste sich aber weiter mit Brouwers Intuitionismus und wurde 1925 promoviert über intuitionistische Axiomatik in der projektiven Geometrie (Intuïtionistische axiomatiek der projectieve meetkunde). 1927 lobte die Wiskundig Genootschap einen Preis über die Formalisierung des Intuitionismus aus, den Heyting gewann. Die Arbeit wurde 1930 publiziert und verschafft ihm internationale Bekanntheit. 1936 wurde er Privatdozent in Amsterdam, 1937 Lektor und 1948 als Nachfolger von Mannoury Professor. 1968 wurde er emeritiert, blieb aber wissenschaftlich aktiv.

Er gab den ersten Band von Brouwers Gesammelten Werken heraus.

Siehe auch

Schriften

  • Die formalen Regeln der intuitionistischen Logik., 3 Teile, In: Sitzungsberichte der preußischen Akademie der Wissenschaften. phys.-math. Klasse, 1930, 42–65, 57-71, 158-169. Gekürzter Nachdruck in Berka, Karel; Kreiser, Lothar: Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik, Akademie-Verlag Berlin 1986, Seite 188-192
  • Die intuitionistische Grundlegung der Mathematik, Erkenntnis, Band 2, 1931, S. 106-115.
  • Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie, Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer Verlag 1934
  • Intuitionism, an introduction, North Holland 1956, 1966, 1971
  • Axiomatic method en intuitionism, In: Y. Bar-Hillel, J. Poznanski, M.O. Rabin, A. Robinson (Hrsg.), Essays on the Foundations of Mathematics, Magnes Press, Hebrew University, Jerusalem, und North-Holland Publ. Co., Amsterdam 1962, S. 237-247.
  • Untersuchungen über intuitionistische Algebra, Verhandelingen der Nederlandse Akademie van Wetenschappen, afdeling Natuurkunde, 1ste sectie, 18, 1941, Nr.2
  • Note on the Riesz-Fischer Theorem, Proceedings Koninklijke Nederlandse Akademie van Wetenschappen, Series A, 54 = Indagationes Mathematicae 13, 1951, S. 35-40.
  • Espace de Hilbert et intuitionnisme, in: Les méthodes formelles en axiomatique. Colloques internationaux du C.N.R.S. no. 36 (Paris 1950), Paris 1953, S. 59-63.

Weblinks


Kategorien: Gestorben 1980 | Geboren 1898 | Logiker | Mitglied der Königlich Niederländischen Akademie der Wissenschaften | Niederländer | Mann

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Arend Heyting (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.