Arend Heyting (1898 – 1980)

Home » Männliche Philosophen » Arend Heyting (1898 – 1980)

Arend Heyting, eigentlich Heijting, (* 9. Mai 1898 in Amsterdam; † 9. Juli 1980 in Lugano) war ein niederländischer Mathematiker und Logiker. Als Schüler von L. E. J. Brouwer befasste er sich mit der intuitionistischen Logik und gilt als einer der führenden Vertreter der intuitionistischen Logiker und Mathematik.

Auch war er maßgeblich an der Herausarbeitung und Systematisierung der logischen Ideen seines Lehrers Brouwer beteiligt. Heyting hat ein Axiomensystem für den intuitionistischen Aussagen- und Prädikatenkalkül angegeben.