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 | |
|
| |||
