Arend Heyting (1898 – 1980)

Der niederländische Mathematiker und Logiker Arend Heyting war einer der führenden Vertreter der intuitionistischen Logiker und Mathematik. Er war maßgeblich an der Herausarbeitung und Systematisierung der logischen Ideen von Brouwer beteiligt.

Obwohl der intuitionismus die Formalisierung und Axiomatisierung seiner Theorie ablehnt, hat Heyting ein Axiomensystem für den intuitionistischen Aussagen- und Prädikatenkalkül angegeben.