Ideas of Arend Heyting, by Theme
[Dutch, 1898 - 1980, Pupil of Brouwer.]
green numbers give full details |
back to list of philosophers |
expand these ideas
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
|
8754
|
Logic is dependent on mathematics, not the other way round [Shapiro]
|