Bruno Marchal wrote:
>
> Le 16-août-06, à 02:25, Brent Meeker a écrit :
...
>>There I think I disagree. If there were no intelligent creatures like
>>ourselves, the infinite set of integers would not "exist" (I don't
>>think
>>they exist like my coffee does anyway). There would be "xx" but no
>>number 2
>>that was generated by a sucessor operation under Peano's axioms.
>
>
>
>
> But "2" is just another notation for "xx".
No I meant "xx" as a specific instance, like "||" and "-AT_SYMBOL-@". "2" is a notation
for the class of all pairs or some such abstraction.
Brent Meeker
--~--~---------~--~----~------------~-------~--~----~
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 Wed Aug 16 2006 - 14:43:13 PDT