Does Arithmetic Need Non-Computable Real Numbers?
49536
Do we really need reals?
17022
Definable real numbers
24193
"application: not a procedure" in binary arithmetic procedures
140300
Does the interval $[0,1]$ contains more real numbers than $(0,2)$?
51191
Does a negative number really exist?
33737
Does $1.0000000000\cdots 1$ with an infinite number of $0$ in it exist?
155112
Are there more rational numbers than integers?
36046
Can I do arithmetic operations on the Number baseclass?
3645
Why Are the Reals Uncountable?
101512
Is there an numeric arithmetic with a single operator?
31900
Induction on Real Numbers
15438
do all uncountable sets have same cardinality as real numbers?
33705
Is $0$ a natural number?
102307
Discrete Math Proofs Involving Real Numbers
70196
Is there any well-ordered uncountable set of real numbers under the original ordering?
132525
Real Numbers Raised to Imaginary Powers?
65624
Real vs. Floating Point vs. Money