endoself comments on MIRI's 2013 Summer Matching Challenge - Less Wrong

23 Post author: lukeprog 23 July 2013 07:05PM

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

Comments (122)

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

Comment author: endoself 18 October 2013 11:16:23PM 1 point [-]

Yes, you can take the probability that they will halt given a random input. This is analogous to the case of a universal Turing machine, since the way we ask it to simulate a random Turing machine is by giving it a random input string.