You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Warrigal comments on A Series of Increasingly Perverse and Destructive Games - Less Wrong Discussion

11 Post author: nigerweiss 14 February 2013 09:22AM

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

Comments (33)

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

Comment author: jacobt 15 February 2013 09:35:53PM *  2 points [-]

Game1 has been done in real life (without the murder): http://djm.cc/bignum-results.txt

Also:

Write a program that generates all programs shorter than length n, and finds the one with the largest output.

Can't do that, unless you already know the programs will halt. The winner of the actual contest used a similar strategy, using programs in the calculus of constructions so they are guaranteed to halt.

For Game2, if your opponent's program (say there are only 2 players) says to return your program's output + 1, then you can't win. If your program ever halts, they win. If it doesn't halt, then you both lose.

Comment author: [deleted] 16 February 2013 04:43:52AM 2 points [-]

The winner of the actual contest used a similar strategy, using programs in the calculus of constructions so they are guaranteed to halt.

Whelp, that's it, then. Ralph Loader has discovered the largest integer.