On 10 Jun 2009, at 02:20, Brent Meeker wrote:
> So we believe in the consistency of Peano's arithmetic because we > have a > physical model. Why physical? And do we have a physical model? I would say we belive in the consistency (and soundness) of PA because we have a model of PA, the well known structure (N, 0, +, *). If comp is true, there is no physical model at all. (But this is not something on which I want to insist for now). 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 -~----------~----~----~----~------~----~------~--~---