1Z wrote:
> Bruno Marchal wrote:
> > Le 25-oct.-06, à 13:57, 1Z a écrit :
> >
> > > Brent Meeker wrote:
> > >
> > >> It's even more than seeing where axioms and rules of inference lead.
> > >> Given some axioms and rules of inference the only truths you can
> > >> reach are those of the form "It is true that axioms => theorems".
> > >
> > > For formalists, all mathematical truths are of this form.
> >
> >
> >
> > And that is why the doctrine of formalism in mathematics (or just
> > number theory) is dead since Godel has proved his incompleteness
> > theorem.
> > We definitely know today that number theoretical truth escapes all
> > formal theories.
> >
> > Physicists can still dream today about a formal and complete theory of
> > "everything-physical", but number scientist knows that the number realm
> > is not completely formally unifiable.
> >
> >
> > Bruno
> >
> >
> > http://iridia.ulb.ac.be/~marchal/
>
>
> 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?
--~--~---------~--~----~------------~-------~--~----~
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 - 12:49:06 PDT