evand comments on Causal Universes - Less Wrong

60 Post author: Eliezer_Yudkowsky 29 November 2012 04:08AM

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

Comments (385)

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

Comment author: Qiaochu_Yuan 29 November 2012 07:33:51AM 1 point [-]

Well, for starters, an AI living in a universe where infinitely many computations can be performed in finite time can verify the responses a Turing oracle gives it. So it can determine that it lives in a universe with Turing oracles (in fact it can itself be a Turing oracle), which is not what an AI living in this universe would determine (as far as I know).

Comment author: evand 29 November 2012 05:39:25PM 2 points [-]

I don't think that's different, unless it can also make infinitely many queries of the Turing oracle in finite time. Or make one query of a program of infinite length. In any case, I think it needs to perform infinite communication with the oracle.

I'll grant that it seems likely that a universe with infinite computation capability will also have infinite communication capability using the same primitives, but I don't think it's a logical requirement.

Comment author: Qiaochu_Yuan 29 November 2012 06:48:57PM 0 points [-]

Yes, let's replace "computations" with "actions," I guess.