Re: Name the thesis: "Formal sentences capture informal ones"

From: Torkel Franzen (torkel_at_sm.luth.se)
Date: 01/30/05 

Date: 30 Jan 2005 11:12:48 +0100

Helene.Boucher@wanadoo.fr writes:

> It's not a side issue to this thread, because that was what this thread
> was about.

  Your particular grounds for regarding Con(PA) as not being a
faithful formalization of "PA is consistent" involve so many other
basic questions that it becomes a side issue, as when somebody
questions the consistency of ZFC on the basis that we don't even
know that PA is consistent.

Relevant Pages