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
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at

Reply via email to