Bruno Marchal wrote:
> 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.
We are not *forced* to the conclusion that
there *is* a kind of truth which is completely
separate from provability. Platonism is
*possible* in the face of Godel, but so is intuitionism.
--~--~---------~--~----~------------~-------~--~----~
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 - 10:43:37 PDT