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.

Kawoomba comments on Open thread, July 29-August 4, 2013 - Less Wrong Discussion

3 Post author: David_Gerard 29 July 2013 10:26PM

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

Comments (381)

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

Comment author: Kawoomba 30 July 2013 08:44:12AM 2 points [-]

... keep in mind that deterministic Turing machines can trivially simulate nondeterministic Turing machines.

Comment author: JoshuaZ 30 July 2013 12:49:06PM 1 point [-]

... keep in mind that deterministic Turing machines can trivially simulate nondeterministic Turing machines.

The problem here seems to be one of notation. You are using nondeterministic Turing machine in the formal sense of the term, where Mitchell seems to be using nondeterministic closer to "has a source of random bits."

Comment author: Transfuturist 30 July 2013 07:01:20PM 0 points [-]

Trivially? I was under the impression that it involved up to a polynomial slowdown, while probabilistic Turing machines can simulate deterministic Turing machines by merely having only a single probability of 1 for each component of its transition function.

Comment author: Kawoomba 30 July 2013 07:07:05PM 0 points [-]

Algorithmically trivially, I didn't see anyone concerned about running times.

Comment author: Transfuturist 30 July 2013 07:36:49PM 0 points [-]

Well, wouldn't that be because it's all theorizing about computational complexity?

I see the point. Pseudorandom number generators would be what you mean by simulation of nondeterminism in a DTM? Would a deterministic UTM with an RNG be sufficient for AIXI to hypothesize randomness? I still don't see how SI would be able to hypothesize Turing machines that produce bitstrings that are probabilistically similar to the bitstring it is "supposed" to replicate.