Re: Emulation and Stuff

From: Bruno Marchal <>
Date: Tue, 18 Aug 2009 10:55:33 +0200

On 17 Aug 2009, at 22:44, Flammarion wrote:

> On 17 Aug, 18:51, Brent Meeker <> 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.


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
For more options, visit this group at
Received on Tue Aug 18 2009 - 10:55:33 PDT

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