Strilanc comments on Rationality Quotes November 2014 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (337)
... wait, what? You can equate predicates of predicates but not predicates?!
(Two hours later)
Well, I'll be damned...
The key here is the halting requirement. The other stuff is red herrings.
Inconceivable, isn't it? Extra points for actually implementing it.