Ideas from 'Intuitionism: an Introduction' by Arend Heyting [1956], by Theme Structure
green numbers give full details |
back to texts
|
expand this idea
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
8754
|
Logic is dependent on mathematics, not the other way round [Shapiro]
|