Hi Quentin, Le 22-juin-06, à 16:16, Quentin Anciaux a écrit :
> > Hi Bruno, > > Le jeudi 22 juin 2006 15:59, Bruno Marchal a écrit : >> Dear Stephen, >> >> What makes you think someone (who) asserted (where) that existence is >> a >> predicate. I agree with you: existence is not a predicate. >> Now "implementation" is a *process*. Again I agree. But this could be >> just a relative computations (as those living in Platonia. > > Either we have a definition problem or I do not understand. For me > relative > computations in platonia are not instantiated by definition as they > are in > platonia. Being in platonia just means it exists, hence existence is > sufficient. If not could you please define what you mean by > instantiated. Remember that comp relies on arithmetical platonism. Numbers and their additive structure, and their multiplicative structure and the whole mess you get with both of them at once, making *all* theories (generable set of sentences) incomplete with respect to number theoretical truth. The UD lives there under the form of all true arithmetical (Sigma1) sentences, which, and this is eventually justified from the first person point of view, codes the universal dovetailing. So *all* computations, the finite and the infinite one, with their weighting redundancies, exist or better are instantiated under the form of an infinity of (purely) number theoretical relations. By comp, those many computations instantiate, well, wanting to be short I will just say all possible number's or machine's dreams. Those machine's dream obeys to the law of computer science, they differentiates, they overlaps, they get entangled rising parallelism, etc. They get rise to many internal interpretations. Computer Science, is in many different and interesting sense a branch of number theory. To sum up: the dreams are instantiated in the DU-computations, themselves instantiated by the (platonic) number theoretical relations. The invariant and the symmetry (and geometry, and physics) should emerge from them from inside (assuming comp). (I'm afraid Tom just did say sort of opposite. No offense Tom ;-) 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 -~----------~----~----~----~------~----~------~--~---
