Skip to main content

Questions tagged [godels-incompleteness-theorem]

Filter by
Sorted by
Tagged with
3 votes
0 answers
60 views

Knowing-that-we-know in plenitudinous Platonism

SEP background: If every consistent mathematical theory is true of some universe of mathematical objects, then mathematical knowledge will, in some sense, be easy to obtain: provided that our ...
Kristian Berry's user avatar
35 votes
3 answers
5k views

How is Gödel's incompleteness theorem interpreted in intuitionistic logic?

Classically, one sets up an axiomatic system with a formal deduction system & an interpretation in a model. Generally it is sound, that is: a formally deduced theorem is also true when interpreted ...
Mozibur Ullah's user avatar
24 votes
3 answers
2k views

Should Wittgenstein be given partial credit for Gödel’s incompleteness theorem?

Is there a connection between Wittgenstein's argument against the theory of types, and the proof of Gödel's incompleteness theorem? (It seems that Gödel's proof relies on referring to symbols as ...
Andrew Stout's user avatar
98 votes
12 answers
18k views

Is Gödel's incompleteness theorem a cheap trick?

I found a throwaway critique of Kurt Gödel's incompleteness theorem in an essay about deconstruction, “How to Deconstruct Anything” by Chip Morningstar. In the context of the article, the critique of ...
Jon Ericson's user avatar
  • 7,315