= 27d567bc2d48d9f40e9ccc20ea370b15)
AlexMennen comments on Bounded versions of Gödel's and Löb's theorems - 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 (21)
Bounded Löb's theorem seems to provide an easier way to do what you did in AI Cooperation in Practice. Or are they essentially the same thing?
Yeah, this post is groundwork for a better version of "AI cooperation in practice". See here for more. The original version had a much more complicated proof of a similar theorem, following the steps of Löb's original proof (aka Eliezer's picture proof) instead of Kripke's argument. I didn't really understand Kripke's argument back then.