Re: Numbers, Machine and Father Ted

From: 1Z <peterdjones.domain.name.hidden>
Date: Sun, 29 Oct 2006 03:26:22 -0800

Bruno Marchal wrote:
> Le 27-oct.-06, à 00:40, 1Z a écrit :
>
> >>> Tom Caylor:
> >>> Mathematical logic is richer than that. This is what Bruno is
> >>> saying,
> >>> that the math path points toward Rome. And it is no more scary (a la
> >>> possible spirits lurking under/in every rock) than the matter path.
> >>> Limiting math as you are doing, and as Brent Meeker does in his
> >>> response to my (X and not-X) note, is ignoring such evidence as the
> >>> proofs of Godel and Tarski's Indefinability Theorem.
> >>>
> >>> Tom
> >>
> >> Brent Meeker: But as I understand it, Bruno wants to identify
> >> "mathematical existence" with true existence statements about
> >> mathematical objects.
> >> Some of these are unprovable. They can be consistently added to the
> >> axioms. But also their negation can be consistently added to the
> >> axioms. But not both. So there are disjoint realms of consistent
> >> mathematics - some are Rome, some are Athens, some are Tuva, most are
> >> Harry Potter's home town.
> >
> > 1Z (Peter Jones): I suppose that is why he wants to base his case on
> > the
> > subset of arithmetic everyone agrees on.

>
> Exactly.

The manoeuvre addresses the mathematical objections to
Platonism whilst doing nothing about the philosophical.
 
>
> Bruno
>
>
> http://iridia.ulb.ac.be/~marchal/


--~--~---------~--~----~------------~-------~--~----~
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 Sun Oct 29 2006 - 06:26:39 PST

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:12 PST