Re: Rép: ROADMAP (well, not yet really...

From: Bruno Marchal <marchal.domain.name.hidden>
Date: Tue, 22 Aug 2006 12:10:23 +0200

Le 22-août-06, à 05:32, <jamikes.domain.name.hidden> a écrit :

>  
>> ----- Original Message -----
>> From: Bruno Marchal
>> To: everything-list.domain.name.hidden
>> Sent: Monday, August 21, 2006 6:39 AM
>> Subject: Re: Rép: ROADMAP (well, not yet really...
>>
>>
>>> 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.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list
-~----------~----~----~----~------~----~------~--~---
Received on Tue Aug 22 2006 - 06:12:17 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:12 PST