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