I have just discovered (during homeschooling) that my children are being taught at school that infinitely many numbers exist. Where do I have to send my petitions against this devastating creationist pre-Hilbertian falsehood?
-
-
I don’t think it leads to contradictions to allow the existence of an unconstructable entity. The axiom of choice doesn’t lead to contradictions, right?
-
Gödels proof concerning the Entscheidungsproblem lays out the core of the problem, Turing's Halting problem nails it. If you don't prove the existence of a computable algorithm that can compress your statements to the axioms, you cannot claim their semantic equivalence.
- 4 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.