Allan_Crossman comments on The Cartoon Guide to Löb's Theorem - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (90)
Boiling it down to essentials, it looks to me like the key move is this:
But this doesn't follow - X could be true but not provable.
Is that right? It's ages since I did logic, and never to a deep level, so excuse me if this is way off.