[FOM] 303: PA completeness CORRECTION
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.
University of Melbourne
More information about the FOM