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 everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~----------~----~----~----~------~----~------~--~---

Reply via email to