Le 05-mars-09, à 11:10, Günther Greindl a écrit :
> > HI Bruno, > >>>> Indeed, that would be like if a number could make disappear another >>>> number. Even a God cannot do that! >>> The idea would be rather that some continuations would correspond >>> to non-existent numbers, like, say, the natural number between 3 and >>> 4. >> >> I am not sure I understand. If the continuation uses non existent >> numbers, the continuation does not exist, or it is an inconsistent >> continuation, that is a cul-de-sac world. I can prove that 0 = 1, if >> there is a natural number between 3 and 4. >> A god cannot make disappear a natural number, nor introduce a natural >> number where there is none. It seems to me. > > We are just talking a little past each other. To recap: > > I initially meant that it would be possible, in a teleportation > experiment, that aliens prevent any copies from being instantiated. > > You then said that that would be equivalent to making disappear a > number, which is not possible. > > My idea was rather that the instantiations would not correspond to > numbers in the first place But that would violate the comp assumption. > - that is why the aliens could destroy the > machine (it follows from 3-det that something _had_ to happen to > prevent > successor states which wouldn't correspond to numbers). But machines are secondary. The "physical machines" are pattern emerging in the mind of persons themselves emerging from the relation between numbers. I don't see how aliens could manage a machine not to have successors. > > So, of course nobody can introduce new numbers - but if there were > successor states which would require new numbers, that would mean that > QI is false - there a cul de sacs (modus tollens). If a successor state requires something impossible, *that* successor state will be impossible, but it does not mean there will not be other successor states, indeed, for mind corresponding on machine's state, a continuum of successor states exists. Best, Bruno http://iridia.ulb.ac.be/~marchal/ --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
