3 ms·
Tangentially related question: how are real numbers formally defined? I remember that integers are usually defined in terms of successors: Succ 1 = 2. But this
by sleepdev 16y ago
Tangentially related question: how are real numbers formally defined?
I remember that integers are usually defined in terms of successors: Succ 1 = 2. But this doesn't help for real numbers because they can't really be enumerated?
- pencil 16y agowell..this gives the definition of real numbers http://en.wikipedia.org/wiki/Real_numbers..but http://en.wikipedia.org/wiki/Real_numbers..but doesn't mention even a single bit about the truthfullness of the properties of realnumbers.(to be honest i'am not in a position to come out with a rational explanation!!!!!)