You must log in or # to comment.
It’s technically infinite, but the set of numbers we can express (in a reasonable timeframe), while large, is finite.
The school house rock cd rom did not cover this topic in funky number land
Anyone else on team φ
My favorite number is 43758.5453 I picked it at random.
OMG! Same!
When people give me a range from 1 to X I always pick 1 to poop on the party
I always pick a transcendental irrational number. If they make the mistake to only ask me for a number it’s gonna be complex. What do you mean, “is it greater than 5?”? What the hell is “great than”???
This is fun, I will do this from now on
Or if they expect that, go for a quaternion instead!
1 is equally likely random number on that range
I’m going to make an effort to never pick 7 again.
well real numbers are uncountable, but the set of numbers you can think of and describe is still countable
Is it? I could be convinced but I’m going to need a proof before I believe that
You have the explanation, but more precisely: the set of definable real numbers is countable, because a mathematical definition can be encoded as a finite sequence of mathematical symbols (of which thereare only finitely many), and so there are only countably many definitions.
Hence most real numbers are undefinable.
By the way, there is a simple proof that all natural numbers are definable: if not, then there is a smallest undefinable number. But “the smallest undefinable natural number” would then be a definition of that number :)
I thought that all self referencing proofs are trouble since Russell’s paradox
That is true. Naturals are explicitly constructible by definition anyway, but Russell’s paradox applies to the concept of “interesting numbers” and is why they can’t be well-defined. https://en.wikipedia.org/wiki/Interesting_number_paradox
I hoped someone would make that connection! This one is actually sound but there is a closely related limitative result, the undefinability of truth (attributed to tarski) which uses a “liar sentence” like the “liar set” of Russell’s paradox: “this sentence is not true”. Of course, liar sentence have been known since ancient times, but it was only in the 20th century when we could give them a mathematical interpretation, rather than a purely logical one.
This means that there is no mathematical definition of what is true about the natural numbers, but there are still definitions of other things, and we can still quantify over those definitions.
the set of finite length natural language sentences is countable.
It’s obvious after the chapter and left unexplained as an exercise for the reader
![Math Master! [Bob the Angry Flower]](https://lemmus.org/pictrs/image/5b83153f-91b7-46a5-b76b-c28591c72977.webp){kind=link}