Philosophy Dictionary of ArgumentsHome | |||
| |||
Arend Heyting - Philosophy Dictionary of Arguments | |||
Arend Heyting (1898-1980), Dutch mathematician and logician. His major works include De intuitionistische wiskunde (1934), Intuitionisme: Een inleiding (1950), and Wiskunde en wijsbegeerte (1957). His fields of specialization were intuitionistic logic, topology and algebra.
Standard data for cataloging: VIAF LCCN GND | |||
Author | Item | More authors for concept | |
---|---|---|---|
Heyting, Arend | Excluded Middle | Excluded Middle | |
Heyting, Arend | Finiteness | Finiteness | |
Heyting, Arend | Formalism | Formalism | |
Heyting, Arend | Intuitionism | Intuitionism | |
Heyting, Arend | Method | Method | |
Heyting, Arend | Semantics | Semantics | |
|