Wichtiger Hinweis zum Inhalt des Online-LexikonsBei den auf dieser Seite aufgeführten Texten/Artikeln/Inhalten handelt es sich ausschließlich um fremde Inhalte, die sich die Aschendorff Verlag GmbH & Co. KG ausdrücklich nicht zu Eigen macht. Diese fremden Inhalte, die keiner regelmäßigen Überprüfung unterliegen, sind ausnahmslos solche der freien Enzyklopädie Wikipedia, für die keinerlei Verantwortung übernommen wird.
Lizenzbestimmungen
Der Text/Artikel/Inhalt auf dieser Seite innerhalb der Rubrik "Online Lexikon" basiert, soweit nicht anders angegeben, auf dem Artikel
Arend Heyting
aus der freien Enzyklopädie
Wikipedia.
Die Inhalte stehen unter der
GNU Lizenz für freie Dokumentation.
Eine Liste der Autoren ist
dort
abrufbar.
Arend Heyting
Arend Heyting (* 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.
Literatur
* Heyting, Arend: ?Die formalen Regeln der intuitionistischen Logik?,
Sitzungsberichte der preußischen Akademie der Wissenschaften, phys.-math. Klasse, 1930, 42-65. Gekürzter Nachdruck in Berka, Karel; Kreiser, Lothar:
Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik, Akademie-Verlag Berlin 1986, Seite 188-192
