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).



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