Bruno Marchal skrev:
Le 14-nov.-07, à 17:23, Torgny Tholerus a écrit :What do you mean by "..."? I am asking as an ultrafinitist. I have already explained that the meaning of "...'" in {I, II, III, IIII, IIIII, IIIIII, IIIIIII, IIIIIIII, IIIIIIIII, ...} is *the* mystery. Do you have the big-black-cloud interpretation of "..."? By that I mean that there is a big black cloud at the end of the visible part of universe, and the sequence of numbers is disappearing into the cloud, so that you can only see the numbers before the cloud, but you can not see what happens at the end of the sequence, because it is hidden by the cloud. For example, the function which sends x on 2*x, for each x in N is such a bijection.What do you mean by "each x" here?I mean "for each natural number". What do you mean by "each" in the sentence "for each natural number"? How do you define ALL natural numbers? How do you prove that each x in N has a corresponding number 2*x in E? If m is the biggest number in N,There is no biggest number in N. By definition of N we accept that if x is in N, then x+1 is also in N, and is different from x. How do you know that m+1 is also in N? You say that for ALL x then x+1 is included in N, but how do you prove that m is included in "ALL x"? If you say that m is included in "ALL x", then you are doing an illegal deduction, and when you do an illegal deduction, then you can prove anything. (This is the same illegal deduction that is made in the Russell paradox.) then there will be no corresponding number 2*m in E, because 2*m is not a number.Of course, but you are not using the usual notion of numbers. If you believe that the usual notion of numbers is wrong, I am sorry I cannot help you. I am using the usual notion of numbers. But m+1 is not a number. But you can define a new concept: "number-2", such that m+1 is included in that new concept. And you can define a new set N2, that contains all natural numbers-2. This new set N2 is bigger than the old set N, that only contains all natural numbers. -- Torgny Tholerus --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to [EMAIL PROTECTED] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/everything-list?hl=en -~----------~----~----~----~------~----~------~--~--- |

- Re: OM measure and universe size Russell Standish
- Re: OM measure and universe size George Levy
- Re: OM measure and universe size Russell Standish
- Rép : Observer Moment = Sigma1-Sentences Bruno Marchal
- Re: Rép : Observer Moment = Sigma1-Sentences David Nyman
- Re: Rép : Observer Moment = Sigma1-Sentences John Mikes
- Re: Rép : Observer Moment = Sigma1-Sentences Bruno Marchal
- Bijections (was OM = SIGMA1) Bruno Marchal
- Re: Bijections (was OM = SIGMA1) Torgny Tholerus
- Re: Bijections (was OM = SIGMA1) Bruno Marchal
- Re: Bijections (was OM = SIGMA1) Torgny Tholerus
- Re: Bijections (was OM = SIGMA1) Quentin Anciaux
- Re: Bijections (was OM = SIGMA1) Torgny Tholerus
- Re: Bijections (was OM = SIGMA1) Quentin Anciaux
- Re: Bijections (was OM = SIGMA1) Bruno Marchal
- Re: Bijections (was OM = SIGMA1) Bruno Marchal
- Re: Bijections (was OM = SIGMA1) Torgny Tholerus
- Re: Bijections (was OM = SIGMA1) Torgny Tholerus
- Re: Bijections (was OM = SIGMA1) Bruno Marchal
- The big-black-cloud-interpretation. Torgny Tholerus
- Re: The big-black-cloud-interpretation. Torgny Tholerus