[FOM] Consequence of PA inconsistency

Harvey Friedman friedman at math.ohio-state.edu
Mon Apr 26 21:01:09 EDT 2010


I think that it is best, before we get into this standard technique,  
to determine whether or not what I wrote is truly responsive to the  
discussion that is going on about whether "an inconsistency in PA  
refutes arithmetic Platonism". When I wrote this paragraph, I thought  
it was responsive, but I would like to make sure.

Harvey

On Apr 26, 2010, at 12:45 PM, Timothy Y. Chow wrote:

Harvey Friedman wrote:
> By using standard techniques, we can create an appropriately displayed
> proof in PA(101) of 1 = 0. You can look and see that the formulas to
> which induction is applied to are comprehensible to the "arithmetic
> Platonist".

I'm afraid I'm not familiar with this standard technique.  Could you
please spell it out a little for us?  This sounds interesting.



More information about the FOM mailing list