Arend Heyting
aus Wikipedia, der freien Enzyklopädie
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.
Siehe auch: Heyting-Algebra
[Bearbeiten] 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
| Personendaten | |
|---|---|
| NAME | Heyting, Arend |
| KURZBESCHREIBUNG | niederländischer Mathematiker |
| GEBURTSDATUM | 9. Mai 1898 |
| GEBURTSORT | Amsterdam |
| STERBEDATUM | 9. Juli 1980 |
| STERBEORT | Lugano |
