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

> On 17 Aug, 18:51, Brent Meeker <meeke...@dslextreme.com> 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 everything-list@googlegroups.com
To unsubscribe from this group, send email to 
For more options, visit this group at 

Reply via email to