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?
-
Show this thread
-
-
Replying to @JMoVS
A number is a labeling schema for an ordered set. In school, we learn that there is full equivalence between the return values of the functions that generate the set and the labeling schema, i.e. there is a theoretical machine for this, even if the functions don't terminate.
1 reply 0 retweets 2 likes
You can specify requirements for machines that do not work, but you cannot specify them so closely that you describe their workings. Gödel discovered that a mathematical computer running classical semantics would crash.
5:14 AM - 28 Mar 2020
0 replies
0 retweets
2 likes
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.