![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/a/a7/Arend_Heyting_%25281967%2529.jpg/640px-Arend_Heyting_%25281967%2529.jpg&w=640&q=50)
Arend Heyting
niederländischer Mathematiker / aus Wikipedia, der freien encyclopedia
Liebe Wikiwand-AI, fassen wir uns kurz, indem wir einfach diese Schlüsselfragen beantworten:
Können Sie die wichtigsten Fakten und Statistiken dazu auflisten Arend Heyting?
Fass diesen Artikel für einen 10-Jährigen zusammen
ZEIGE ALLE FRAGEN
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.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a7/Arend_Heyting_%281967%29.jpg/640px-Arend_Heyting_%281967%29.jpg)