On 17 Aug 2009, at 22:44, Flammarion wrote:
>
>
>
> On 17 Aug, 18:51, Brent Meeker <meeke....domain.name.hidden> wrote:
>> Jesse Mazer wrote:
>
>> Does Bruno assume arithmetic is really real or just a really good
>> model, and can the
>> difference be known?
>
> I don't think Bruno believes there is anything else
> for arithemeic *to* model.
Artithmetical theories model (in the physicists sense) the standard
model (in the logician sense) of arithmetic.
But you are right. Arithmetical truth is what our theories try to
model, always imperfectly, and necessarily so, as we know since Gödel.
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?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Tue Aug 18 2009 - 10:55:33 PDT