Ideas of Arend Heyting, by Theme

[Dutch, 1898 - 1980, Pupil of Brouwer.]

idea number gives full details    |    back to list of philosophers    |     expand these ideas
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Logic is dependent on mathematics, not the other way round