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