It suffices to show that the Smith lotteries that the above result establishes are the only lotteries that can be part of maximal lottery-lotteries are also subject to the partition-of-unity condition.
I fail to understand this sentence. Here are some questions about this sentence:
-
what are Smith lotteries? Ctrl+f only finds lottery-Smith lottery-lotteries, do you mean these? Or do you mean lotteries that are smith?
-
which result do you mean by “above result”?
-
What does it mean for a lottery to be part of maximal lottery-lotteries?
-
does “also subject to the partition-of-unity” refer to the smith lotteries or to the lotteries that are part of maximal lottery-lotteries? (it also feels like there is a word missing somewhere)
-
Why would this suffice?
-
Is this part also supposed to imply the existence of maximal lottery-lotteries? If so, why?
I haven’t watched it yet, but there is also a recent technical discussion/podcast episode about AIXI and relatedd topics with Marcus Hutter: https://www.youtube.com/watch?v=7TgOwMW_rnk