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.

private_messaging 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.

Article Navigation

Comments (33)
Tags: game theory heaven scenario hell fun torture acausal joke

Comments (33)

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

Comment author: Manfred 17 February 2013 06:40:18AM *  0 points [-]

I dunno, is that tree sequence related to the busy beaver sequence? And speaking of which, what kind of big number contest bans busy beaver? Srsly : <

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.

Powered by Reddit Powered by Reddit