abramdemski comments on Second-Order Logic: The Controversy - Less Wrong

24 Post author: Eliezer_Yudkowsky 04 January 2013 07:51PM

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

Comments (188)

Sort By: Best

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

Comment author: abramdemski 08 January 2013 04:20:27AM 0 points [-]

I hope none of the really good collections of pr0n are logically unreachable.

This seems incredibly likely, doesn't it? (As long as we are happy to bound 'logically reachable' to within the observable universe.)