| > Saying that the reals don't exist is pretty much the same as saying that the natural numbers don't exist I mean... it's really not. The natural numbers have a straightforwards definition, where one can theorize the 'existence' of them pretty straightforwardly. Are you familiar with the definition of the reals? The reals don't appear anywhere in nature, and are only useful as modeling really. You can't 'measure' a real-valued quantity and get a result that is not rational or at least computable. The complex numbers over the rationals are more 'real' in that you can measure complex numbers with rational coeficients. > Well, that's a purely mathematical concept, and if you don't believe that mathematics is real, how are you going to convince me that this concept makes sense? I'm not sure you understand exactly what you're talking about. Mathematical constructivism doesn't claim that mathematics is not real. In fact, quite the opposite. It's typically a view held by very experienced mathematicians. Well regardless countability is easily shown to be constructivist by first constructing a finite description of the natural numbers (and showing that the description of any natural number is itself finite and decidable). Then you show that you can create decidable functions mapping each element of particular sets onto the natural numbers. It is trivial to construct these from any alphabet, including our own. Same with the rationals, etc. Then you get to the reals and you ask questions like 'what does it mean to have a set of rationals' [1], 'what does it mean to have a least upper bound', etc. [1] a constructivist would say a decision procedure to determine if a number is in the set. I.e., a set is real if you can decide whether a thing is in it or not. From this it follows that significant portions of the real numbers do not exist because there is no decision procedure that can produce a set of rationals for which they are the least upper bound. |
It's typically a view held by very experienced type theorists.
There, fixed it for you.