I thought about this question for a longer time. There is a standard proof by contradiction that there is no smallest positive rational/real number $r$ by considering $r/2$.

Now what irritates me about that proof is that it relies on the assumption that such an $r$ or the algorithm for constructing such an $r$ could be given explicitly if it existed. Maybe it just can not but it still can exist. Maybe it can only be addressed by introducing a new way for the description of infinitely small numbers or, equivalently, the numbers that "lie between arbitrary large numbers and infinity". If we do not have a way of talking about such a regime of numbers, then how can we comprehend a set like the natural numbers as it is one object with infinitely many numbered elements but not containing infinity? Normally, infinity is not included in the natural numbers because one would argue that if it was a number, then one could find the number just before infinity but that would not be possible. But what if we introduced a way of talking about such a number? A way of talking about a smooth transition from infinity to numbers that we can write down? Maybe the name or algorithm for the smallest positive decimal number would just take an infinite amount of time to be written down. What if there are more numbers than there are names?

  • $\begingroup$ Was there some "popular thing" about this? This is like the fourth question about this matter in the past couple of weeks. $\endgroup$ – Asaf Karagila Mar 24 '17 at 10:12
  • 1
    $\begingroup$ Maybe look up hyperreals or non-standard reals. $\endgroup$ – Prince M Mar 24 '17 at 10:13
  • 1
    $\begingroup$ The set of names (even if we allow arbitary long names) is countable, the set of real numbers however is uncountable. So, there must remain reals that have no name, no matter how we try to name the real numbers. $\endgroup$ – Peter Mar 24 '17 at 10:22
  • 3
    $\begingroup$ @Peter: Not so fast -- the correspondence between names and the numbers they mean is generally not definable in the formal system we work in (such as ZFC set theory), so just because a surjection does not exist as a single mathematical object in our universe doesn't necessarily mean that the universe contains a number that has no name. $\endgroup$ – Henning Makholm Mar 24 '17 at 10:52
  • 2
    $\begingroup$ @Peter: No, that is not so. There exists models of ZFC where every set -- in particular every real number -- has a finite definition in the form of a logical formula with one free variable that is true for exactly that set and nothing else. $\endgroup$ – Henning Makholm Mar 24 '17 at 11:31

It sounds like you have been confused by the colorful phrasing sometimes used to explain proof steps -- that is, things like, "for every number you can give me ..."

Speaking that way generally tends to make it easier for beginners to understand the structure of proofs, but it is also possible to take it too seriously, which you appear to be doing.

In particular, the actual content of a proof (say, a proof that there is no smallest positive number), does not really depend on anyone physically "giving" numbers to each other. As far as the proof goes, saying "every number you can give me" does not mean anything that's different from "every number" -- the "you can give me" is just a vivid way of reminding ourselves that the proof we're constructing is not allowed to rely on things that are only true for some numbers.

The assertion the proof depends on is simply that every positive number equals two times some other number, which is also positive but smaller than the first number. Note well that in this formulation, the claim does not speak about anyone doing anything -- it just states an eternal fact about numbers, not that we "can divide every number by 2", but that half of each number simply exists, has always done so and will always do so. And this general fact does not depend on whether the numbers have names or whether we can communicate each of the numbers exactly between each other.

Of course, if you desire to, you can start investigating what you can prove if you do insist on only speaking of things you can actually imagine doing -- that is, for example, only speak of numbers that can be communicated using finite description. This leads to constructive mathematics, which is an entirely respectable area of study. You just need to be aware that constructive mathematics is not what ordinary mainstream mathematics aspires to be: everyday proofs do allow things that cannot be justified constructively, and if the default assumption when you speak to mathematicians is that the proofs you speak about are according to the everyday non-constructive rules, however vividly they are phrased.

  • $\begingroup$ Thanks for the answer! I admit that I thought that when fixing some $r$ for constructing a contradiction, it is an implicit assumption of the possibility to give an algorithm for its construction. I voted your answer up for clarifying this for me. However your answer is still not really what I am looking for because the question is actually meant to be deeper. I may reask how do we know that really every $r$ that we fix is still greater zero when divided by 2? What I am thinking of is to enlarge the vision on numbers to be able to talk about e.g. $\delta:=\lim_{n+1\rightarrow\infty}1/2^n$ $\endgroup$ – exchange Mar 25 '17 at 13:24
  • $\begingroup$ such that $\delta>0$ but $\delta/2=0$. I know that we usually do not think of a construction like that because there is no notion of something like $\infty-1$ but my question is exactly what IF we would really develop a precise meaning for the realm of numbers between arbitrary large numbers and infinity. $\endgroup$ – exchange Mar 25 '17 at 13:26
  • $\begingroup$ Because if we could do something like that, then we would be able to construct a new way of looking at e.g. the natural numbers including infinity. This would be more intuitive in the sense that a set that is numbered $1,2,3,...$ with infinitely many elements actually contains the infinity. Because if we would really have an INFINITE amount of time to write down the natural numbers, we would have to get there. $\endgroup$ – exchange Mar 25 '17 at 13:29
  • $\begingroup$ But the way we handle natural numbers (and the smallest point bigger zero) now is that we just say that these points near and at infinity do not exist, so effectively we are talking about things that we can write down in finite time even though we call it an infinite set. So that is why I thought that there might be more numbers than we can think of in the current approach. So I actually want to do the opposite of a intuitionistic or constructive mathematics approach - I would like to extend the view on numbers to be able to talk about something that in a finite time may be unconstructable. $\endgroup$ – exchange Mar 25 '17 at 13:37
  • $\begingroup$ Thank you very much for consideration! I apologize that my arguments are formally not well developed but I hope that the meaning of what I want to say can come across. $\endgroup$ – exchange Mar 25 '17 at 13:42

If a number can be defined, let its name be its (possibly long) definition. Then any number we can define has a name. (F.i., the name for $\sqrt{2}$ would be "the positive root of $x^2=2$".)

  • 1
    $\begingroup$ This shows that not every real number can be defined. $\endgroup$ – Peter Mar 24 '17 at 10:23
  • $\begingroup$ What Peter said is exactly the point: You may be able to axiomatically define all real numbers (together) but when naming each individual of the uncountable set you defined, then you can not only use one definition. The argument of your answer does only hold if a definition is used to only define a single thing (number) at a time, which is not the case for number systems (in particular not for infinite ones). I also ask about the possibility of enhancing the number system and hope to obtain more information regarding that. But thanks for your answer! $\endgroup$ – exchange Mar 24 '17 at 10:56
  • 1
    $\begingroup$ You convinced me that my answer is inappropriate (thank you!) and I am going to delete by tonight. (I am leaving it for a while so you get a chance to read this.) $\endgroup$ – mlc Mar 24 '17 at 11:05
  • $\begingroup$ @exchange Henning apparantly disagrees ... $\endgroup$ – Peter Mar 24 '17 at 11:51
  • 1
    $\begingroup$ @Peter I have to admit that I can not yet judge the argument of Henning about the possibility of such a map in the special model of the ZFC he points out. Therefore I will not argue about it now but I will save the link and this discussion for later consideration when I obtain more understanding. Thanks again for your answers. $\endgroup$ – exchange Mar 25 '17 at 13:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.