Kawoomba comments on The Useful Idea of Truth - Less Wrong

77 Post author: Eliezer_Yudkowsky 02 October 2012 06:16PM

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

Comments (513)

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

Comment author: Kawoomba 02 October 2012 06:58:03AM *  -2 points [-]

A variant of Löb's theorem, isn't it?

Edit: Downvoted because the parallels are too obvious, or because the comparison seems too contrived? "E"nquiring minds want to know ...