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

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: private_messaging 20 February 2013 03:48:57PM *  0 points [-]

And speaking of which, what kind of big number contest bans busy beaver? Srsly : <

A computable one. OP is not clear how his hypercomputer is solving the halting problem - does it have a 'halts(s)' function for programs that do not use 'halts' function, or what. The solution 2 in the OP is pretty much equivalent to the busy beaver, and it can not be done without use of halting oracle because some of those programs would loop forever, making the final print statement unreachable.

Comment author: Manfred 20 February 2013 05:00:26PM 0 points [-]

Yup, that makes sense.