Le 26-oct.-06, à 21:11, 1Z a écrit :
>> If your definition of truth is limited to logical inference given a
>> certain set of axioms and inference rules, then what are we trying to
>> do on the Everything List?
>
> That's *mathematical* truth.
It is not. This is just provability. Since Godel we know that they are
not the same. This is *the* key point for giving sense to the lobian
interview.
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 Fri Oct 27 2006 - 08:39:39 PDT