magfrump 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: magfrump 29 November 2012 05:59:49AM 0 points [-]

Since I'm asking about a superintelligent AI's model of the world, and the world of an AI is digital input and output, I first enumerate all possible programs, then enumerate all input strings of finite length, then count diagonally over both.

Then I convert the bits into ASCII, compile them in LOLCODE (since I'm already doing this for the lulz), and throw out the ones that give me compiler errors or duplicates.

Then I sum over the countable number of computable things using inverse squares and divide by pi squared over six (minus whatever I've thrown out).

I hope you didn't want this information to be compiled in a way that is at all helpful to anyone, ever.

But if you did, I guess I might attempt to organize the information as the set of graphs on N vertices for all natural numbers N, or attempt to classify the set of categories of modules of objects with models in Grothendieck's second universe, so that I could do all possible linear algebra. And then I would say that if I can't use linear algebra the object I'm studying doesn't have local consistency and so it doesn't make sense to think about it as a continuous universe and I no longer no what thought means so I have more important issues to deal with.