Questions about Gödel's incompleteness theorems and related topics.
Questions about Gödel's theorems and related topics.
Questions tagged [incompleteness]
868 questions
0
votes
1 answer
Question about Godel's first incompleteness theorem and the theory within which it is proved
Please explain the error in my reasoning with this:
Let T be a formal theory within which Godel's first incompleteness theorem can be proved. In other words... suppose when we write the proof of godel's incompleteness theorem we are doing so within…
Ameet Sharma
- 2,957
-1
votes
2 answers
Exercise of "Gödel's Incompleteness Theorems" by Raymond Smullyan
Is there a correct solution to Exercise 1 of Chapter 1 of the book "Gödel's Incompleteness Theorems" by Raymond Smullyan? I think it's impossible to find one.
The exercise:
Suppose L is a correct system such that the following two conditions…
lcmpereira
- 103