Tom Caylor wrote:
> > Again, the kind of formalism that says
> > everything can be brought under a single
> > formal scheme (the Hilbertian
> > programme) is different from the kind
> > that says mathematical truths are dependent on axioms,
> > and different truths will be arrived at under different
> > axioms. Of course the key point here
> > is "different truths". Tom is not entitled to assume that
> > all roads lead to Rome.
>
> 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.
--~--~---------~--~----~------------~-------~--~----~
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 Thu Oct 26 2006 - 15:14:47 PDT