[FOM] Simple historical question
Richard Heck
rgheck at brown.edu
Tue Jul 24 00:53:21 EDT 2007
Roger Bishop Jones wrote:
> However, a vigorous defence was mounted.
> If A is moderated to "arithmetic truth is not arithmetically definable",
> then the argument is sound, and can be generalised to give stronger
> negative results than that arithmetic truth is not recursively enumerable.
>
I heard Quine lecture on this very point at BU in, oh, it must have been
1994 or so. His point was precisely that Tarski's theorem, stated in
that form, is stronger than G"odel's.
Richard
--
==================================================================
Richard G Heck, Jr
Professor of Philosophy
Brown University
http://frege.brown.edu/heck/
==================================================================
Get my public key from http://sks.keyserver.penguin.de
Hash: 0x1DE91F1E66FFBDEC
Learn how to sign your email using Thunderbird and GnuPG at:
http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto
More information about the FOM
mailing list