Ideas from 'Intuitionism: an Introduction' by Arend Heyting [1956], by Theme Structure

Click on the Idea Number for the full details    |     back to texts     |     expand this idea


6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Logic is dependent on mathematics, not the other way round