You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Adele_L comments on Intuitive cooperation - Less Wrong Discussion

16 Post author: Adele_L 25 July 2014 01:48AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (14)

You are viewing a single comment's thread. Show more comments above.

Comment author: Adele_L 25 July 2014 10:20:53PM 2 points [-]

Unless I'm missing something, Löb's theorem is still a theorem of minimal logic, which does not have the principle of explosion.