* Current Issues in the Philosophy and Practice of Mathematics & Informatics
@ 2015-07-30 15:28 Andreas Blass
0 siblings, 0 replies; only message in thread
From: Andreas Blass @ 2015-07-30 15:28 UTC (permalink / raw)
To: categories
I just received Patrik Eklund's message containing the statement "Yet,
Gödel uses "provability" to create new sentences, and simply opens up that
bag of sentences, and throws in these new ones." Presumably others have
already responded to this in messages that haven't yet reached me, but,
just in case they haven't: Much of the work in Gödel's paper on the
incompleteness theorems is devoted to making sure that what Eklund wrote
here is not the case. Gödel shows how statements about provability can be
encoded as arithmetical statements, which are not at all new but were
available (in what Eklund calls "that bag") all along.
Andreas Blass
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2015-07-30 15:28 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-07-30 15:28 Current Issues in the Philosophy and Practice of Mathematics & Informatics Andreas Blass
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).