= 27d567bc2d48d9f40e9ccc20ea370b15)
cousin_it comments on Explanations for Less Wrong articles that you didn't understand - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (118)
I was reading Eliezer's cartoon proof of Lob's theorem the other day and I didn't get it. My assumption was that in order to understand it, I would need a decent background in mathematical logic, e.g. actually know what Peano Arithmetic is as opposed to abstracting it away as a talking head that tells us things. (I know vector calculus, linear algebra, programming, and basic logic but that's about as far as I go.) If Lob's theorem is something that I should be able to understand the proof of given that background, I'd be interested to know that.
If you already understand Gödel's first and second incompleteness theorems, then you can find a much simpler proof of Löb's theorem in this pdf, pages 6-7.