[FOM] 303: PA completeness CORRECTION

A.P. Hazen a.hazen at philosophy.unimelb.edu.au
Tue Oct 31 02:49:05 EST 2006

Apologies are in order.

In my previous posting, I seriously mis-stated Harvey Friedman's 
conjecture, leaving out key clauses.  (Teach ME to try to be brief!)

Friedman's conjecture is in his FoM posting of Monday 30 October,
   [FOM] 303: PA completeness (restatement)

I left out Friedman's restriction on the term-complexity  of 
sentences considered: without this restriction an infinite  set of 
sentences is at issue, with it a finite one.


Allen Hazen
Philosophy Department
University of Melbourne

More information about the FOM mailing list