= 27d567bc2d48d9f40e9ccc20ea370b15)
Oscar_Cunningham comments on [SEQ RERUN] 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.
= 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 (5)
I've always thought that the cartoon guide is really good up to the last page, and then the steps of the proof are just unexplained symbols.