Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.

Eliezer_Yudkowsky comments on Growing Up is Hard - Less Wrong

28 Post author: Eliezer_Yudkowsky 04 January 2009 03:55AM

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

Comments (41)

Sort By: Old

You are viewing a single comment's thread.

Comment author: Eliezer_Yudkowsky 04 January 2009 08:08:05PM 4 points [-]

@Danielle: Rice's Theorem says that you can't say of any possible computation whether or not it outputs 5, but this doesn't mean you can't know that 2 + 3 = 5. We work with special chosen cases of code that we do understand.

Patri, I coined the phrase "Algernon's Law" some time ago but that was as part of an even stranger phase of my earlier wild and reckless youth, age fifteen or thereabouts. I'd probably prefer to talk about Algernon's principle these days, just to avoid the connotations of that earlier "Law". Or just reference Bostrom's paper.