[FOM] My swan song is now complete, [take two].

steve newberry stevnewb at ix.netcom.com
Mon Nov 17 18:01:49 EST 2003


One little [HAH!] detail. It has been brought to my attention that I FORGOT 
to mention that
CLFO [Classical Logic of Finite Order] is ***really*** just G"odel's 
language "P", since I've
been taking the axioms for PRA for granted throughout the essay. So keep 
that in mind if you should read it before the correction replaces the 
present version.

http://www.mathpreprints.com/math/Preprint/stevnewb/20031020/4/

The earlier annoncement was premature, but this version is now in the hands 
of the referee for Journal of Symbolic Logic, and who knows? Maybe they'll 
think it's good enough to print.

Most of the material has appeared fragmentarially as posts on the FOM list. 
The complete title is

THE ANATOMY AND ULTIMATE NATURE OF "TRUE-BUT-UNPROVABLE" PROPOSITIONS III

Read it.  It'll knock your socks off!

Cordially and respectfully,

Steve

P.S. My sincere thanks to Martin and to Steve Simpson for their criticisms, 
which I took to
heart, and tried to accomodate.




More information about the FOM mailing list