The only way to understand Godel's theorem, is to carefully follow its proof, step by step, starting from the diagonal lemma.vamvam wrote: ↑Thu Mar 06, 2025 8:32 pm There is one thing I can't comprehend. If there is a sentence that is true and unprovable, how do you know that it is true? Did you prove it? If you dont prove it is true then it may be false and if you do prove it is true then it is not unprovable. Is there a rational solution of this dilemma?
If you understand the diagonal lemma, you will easily understand Godel's theorem, because it trivially follows from it.
You are too much trying to interpret remote second-hand English-language interpretations of what the theorem supposedly says.