Heyting
['hɛi̯tɪȖ], Arend, niederländischer Mathematiker und Logiker, * Amsterdam 9. 5. 1898, ✝ Lugano 9. 7. 1980; seit 1938 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.
Werk: Intuitionism. An introduction (1956).
Universal-Lexikon. 2012.