So, I only have a mystical folk understanding of algorithmic probability theory and thus can't formally deal with it, but it seems to be a practical problem that you can't look at all possible languages or average them to get a meaningful ultimate low-level language, and currently it seems that the only way to pick out a set of languages as the relevant ones is to look at your environment, which I think isn't a formal concept yet, and if it was implementable it seems you'd still end up with a ton of continuously-diverging languages where '3^^^3' had lower Kolmogorov complexity than, say, '1208567128390567103857.42 times the number of nations officially recognized by the the government of France, squared'. It would also be weird to expect 'googol minus 17' to have lower Kolmogorov complexity across basically any set of languages than 'googol'. If I horribly misinterpreted your argument somewhere along the way I apologize.
Well, it may be a practical problem, but it doesn't bother me that this 'averaged' complexity language is uncomputable - most things to do with KC are uncomputable, after all. The question is what justification can we come up with for a proportional prior.
currently it seems that the only way to pick out a set of languages as the relevant ones is to look at your environment, which I think isn't a formal concept yet
We can apparently talk sensibly about different languages and different Turing machines. The language for complexity may be a language under...
Eliezer Yudkowsky wrote that Robin Hanson solved the Pascal's mugging thought experiment:
I don't quite get it, is there a post that discusses this solution in more detail?
To be more specific, if a stranger approached me, offering a deal saying, "I am the creator of the Matrix. If you fall on your knees, praise me and kiss my feet, I'll use my magic powers from outside the Matrix to run a Turing machine that simulates 3^^^^3 copies of you having their coherent extrapolated volition satisfied maximally for 3^^^^3 years." Why exactly would I penalize this offer by the amount of copies being offered to be simulated? I thought the whole point was that the utility, of having 3^^^^3 copies of myself experiencing maximal happiness, does outweigh the low probability of it actually happening and the disuility of doing what the stranger asks for?
I would love to see this problem being discussed again and read about the current state of knowledge.
I am especially interested in the following questions:
1 If you calculate the expected utility of various outcomes you imagine impossible alternative actions. The alternatives are impossible because you already precommited to choosing the outcome with the largest expected utility. Problems: 1.) You swap your complex values for a certain terminal goal with the highest expected utility, indeed your instrumental and terminal goals converge to become the expected utility formula. 2.) Your decision-making is eventually dominated by extremely small probabilities of obtaining vast utility.
2 Insignificant inferences might exhibit hyperbolic growth in utility: 1.) There is no minimum amount of empirical evidence necessary to extrapolate the expected utility of an outcome. 2.) The extrapolation of counterfactual alternatives is unbounded, logical implications can reach out indefinitely without ever requiring new empirical evidence.
3 Extrapolations work and often are the best we can do. But since there are problems like 'Pascal's Mugging', that we perceive to be undesirable and that lead to an infinite hunt for ever larger expected utility, I think it is reasonable to ask for some upper and lower bounds regarding the use and scope of certain heuristics. We agree that we are not going to stop pursuing whatever terminal goal we have chosen just because someone promises us even more utility if we do what that agent wants. We might also agree that we are not going to stop loving our girlfriend just because there are many people who do not approve our relationship and who together would experience more happiness if we divorced than the combined happiness of us and our girlfriend being married. Therefore we already informally established some upper and lower bounds. But when do we start to take our heuristics seriously and do whatever they prove to be the optimal decision?