Arend Heyting
Heyting [ˈhεi̭tɪŋ], Arend, niederländischer Mathematiker und Logiker, * Amsterdam 9. 5. 1898, † Lugano 9. 7. 1980;
ab 1948 Professor an der Universität Amsterdam. Bekannt geworden ist Heyting durch seine Axiomatisierung der intuitionistischen Logik (1930). Daneben lieferte er zahlreiche Beiträge zur Philosophie der Mathematik und zur mathematischen Grundlagenforschung.
Informationen zum Artikel
Quellenangabe