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. 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@googlegroups.com To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/everything-list?hl=en -~----------~----~----~----~------~----~------~--~---
