Philosophie Lexikon der ArgumenteHome | |||
| |||
Arend Heyting - Philosophie Lexikon der Argumente | |||
Arend Heyting (1898-1980), niederländischer Mathematiker und Logiker. Hauptwerke sind De intuitionistische wiskunde (1934), Intuitionisme: Een inleiding (1950), and Wiskunde en wijsbegeerte (1957). Seine Forschungsgebiete waren intuitionistische Logik, Topologie und Algebra.
Normdaten zur Katalogisierung: VIAF LCCN GND | |||
Autor | Begriff | Weitere Autoren zu Begriff | |
---|---|---|---|
Heyting, Arend | Ausgeschlossenes Drittes | Ausgeschlossenes Drittes | |
Heyting, Arend | Endlichkeit | Endlichkeit | |
Heyting, Arend | Formalismus | Formalismus | |
Heyting, Arend | Intuitionismus | Intuitionismus | |
Heyting, Arend | Semantik | Semantik | |
|