1Z wrote:
> 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.
True. But there always is a truth that is not provable (given the
system).
And you can find out more about it by changing the system and comparing
results.
By the way, you never answered my question, what are we trying to do on
the Everything List besides logical inference given a system? My take
is that at least part of what we are doing is banging systems against
each other via discussion. If this is not productive, then we should
abandon the Everything List and buy telescopes.
Tom
--~--~---------~--~----~------------~-------~--~----~
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 - 13:00:04 PDT