Jonathan_Graehl comments on Pract: A Guessing and Testing Game - Less Wrong

5 Post author: brian_jaress 31 July 2009 09:13AM

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

Comments (42)

You are viewing a single comment's thread.

Comment author: Jonathan_Graehl 31 July 2009 07:18:21PM 1 point [-]

This is not a great game for competitive humans to actually play. It's a decent game to think about playing to win. You could have some fun with programs given an agreed upon representation language for sequences.

The first human player to use e.g. "md5(3891*seq) odd", wins. You can quibble over how long it should take to describe how a sequence is encoded into a bitstring, but even sets where every sequence is of length 1 can be infinite.

If I'm allowed to use any number of functions with widely agreed upon names, I don't see much hope for my opponent.

Comment author: gwern 01 August 2009 11:18:10AM 0 points [-]

The first human player to use e.g. "md5(3891*seq) odd", wins. You can quibble over how long it should take to describe how a sequence is encoded into a bitstring, but even sets where every sequence is of length 1 can be infinite.

Or heck, how about just the binary representation of pi? You don't even need any functions beyond basic arithmetic (eg. if all the famous constants are well known, just pick the decimal expansion of some suitable rational).