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@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 -~----------~----~----~----~------~----~------~--~---