11 ideas
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] |
13472 | Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD] |
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] |
9546 | Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara] |
18742 | Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew] |
18217 | Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H] |
10271 | Basic mathematics is related to abstract elements of our empirical ideas [Gödel] |
21432 | Culture is the struggle to agree what is normal [Gibson,A] |