Le 08-juil.-06, à 22:10, 1Z a écrit :

##
Advertising

> Bruno Marchal wrote:
>
>> I am just saying that I have faith in the fact that the number 17 is
>> prime, independently of me.
>
> That "17 is prime" is true, independent of you?
>
> Or that 17 exists, independent from you, as a a prime number. ?
A priori the first one: " [17 is prime] is independent of me". But now
I accept also the first order predicate rule that if someone prove "17
is prime", he can infer "Ex(x is prime)", so that I can take the
proposition "it exists a number which is prime" as independent of me
too.
I don't interpret "numbers existence" in any substantial way like if
there was a place and a time where you can observe the number 17
sitting on some chair ...
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
-~----------~----~----~----~------~----~------~--~---