Eliezer_Yudkowsky comments on Formalizing Newcomb's - Less Wrong

18 Post author: cousin_it 05 April 2009 03:39PM

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

Sort By: Best

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

Comment author: Eliezer_Yudkowsky 06 April 2009 12:14:28PM 4 points [-]

Rice's theorem.

You keep using that word. I do not think it means what you think it does.

Comment author: cousin_it 06 April 2009 12:45:22PM * 1 point [-]

Rice's theorem is evidence that Omega is likely to be type 1 or 2 rather than 3, and thus in favor of one-boxing.

Comments (111)