[FOM] 303: PA completeness CORRECTION

[A.P. Hazen]

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