10 ideas
19695 | The devil was wise as an angel, and lost no knowledge when he rebelled [Whitcomb] |
8679 | We perceive the objects of set theory, just as we perceive with our senses [Gödel] |
9942 | Gödel proved the classical relative consistency of the axiom V = L [Gödel, by Putnam] |
18062 | Set-theory paradoxes are no worse than sense deception in physics [Gödel] |
10868 | The Continuum Hypothesis is not inconsistent with the axioms of set theory [Gödel, by Clegg] |
13517 | If set theory is consistent, we cannot refute or prove the Continuum Hypothesis [Gödel, by Hart,WD] |
10271 | Basic mathematics is related to abstract elements of our empirical ideas [Gödel] |
9224 | Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K] |
9222 | The objects and truths of mathematics are imperative procedures for their construction [Fine,K] |
9223 | My Proceduralism has one simple rule, and four complex rules [Fine,K] |