[FOM] Consequence of PA inconsistency

Timothy Y. Chow tchow at alum.mit.edu
Mon Apr 26 12:45:25 EDT 2010

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  

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