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 



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 

Reply via email to