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.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 Wed Jun 10 2009 - 18:24:54 PDT