wedrifid comments on So You Want to Save the World - Less Wrong

41 Post author: lukeprog 01 January 2012 07:39AM

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

Comments (146)

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

Comment author: Eliezer_Yudkowsky 28 December 2011 04:55:45PM 7 points [-]

If we can avoid the wrath of Löb's theorem, can we also avoid the five-and-ten problem?

Very likely yes. Now ask if I know how to avoid the wrath of Löb's theorem.

Comment author: wedrifid 28 December 2011 05:02:38PM 7 points [-]

Very likely yes. Now ask if I know how to avoid the wrath of Löb's theorem.

Do you know how to avoid the wrath of Lob's theorem?

Comment author: Eliezer_Yudkowsky 28 December 2011 05:04:36PM 4 points [-]

Not yet.

Comment author: Manfred 28 December 2011 07:21:45PM 3 points [-]

What kind of powers are you hoping for beyond this sort of thing?