[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