Skip to main content

Questions tagged [godels-incompleteness-theorem]

Filter by
Sorted by
Tagged with
3 votes
0 answers

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

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

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

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