Le 22-août-06, à 05:32, <[EMAIL PROTECTED]> a écrit :

<x-tad-bigger>----- Original Message -----</x-tad-bigger>

<x-tad-bigger>From:</x-tad-bigger><x-tad-bigger> </x-tad-bigger><x-tad-bigger>Bruno Marchal</x-tad-bigger><x-tad-bigger> </x-tad-bigger>

<x-tad-bigger>To:</x-tad-bigger><x-tad-bigger> </x-tad-bigger><x-tad-bigger>everything-list@googlegroups.com</x-tad-bigger><x-tad-bigger> </x-tad-bigger>

<x-tad-bigger>Sent:</x-tad-bigger><x-tad-bigger> Monday, August 21, 2006 6:39 AM</x-tad-bigger>

<x-tad-bigger>Subject:</x-tad-bigger><x-tad-bigger> Re: Rép: ROADMAP (well, not yet really...</x-tad-bigger>

skip

I already told you that I interpret

There exists a prime number "in plato heaven",

by

"There exist a prime number" is true independently of me, you, the universe ...

comp does not need a magical platonic realm in your sense. I don't introduce it for the notion of matter and it would be a fatal damage for comp if we were needing such a magic stuff for numbers.

Comp needs just arithmetical realism AR. It is just the idea that the truth value of arithmetical proposition,including existential propositions, does not depend on me or of any cognition apparatus (indeed "cognition apparatus" are defined, with comp, by relation between numbers, like in Artificial Intelligence, or in comp cognitive science.

Bruno

There exist infinite prime numbers in Plato's heaven and 1000 of them can dance on the point of a pin.

I am sure you have something better thn that!

John

Feynman discovered quantum computation by asking himself how many bits can be handled for a period of time on the point of a pin.

Engineers would appreciate to know how many primes numbers we could encode on a pin. This is not a silly question, although out of topic in our fundamental quest, I guess.

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 -~----------~----~----~----~------~----~------~--~---