I'm in the process of writing summaries. I replied as soon as I read your response.
If you want people to read what you write, learn to write in a readable way.
You are pretty much the first person to give me feedback on this. I do not have an accurate representation as to how opaque this is at all.
In algorithmic representations:
There are other issues with Solomonoff induction in its current form, such as an inability to tolerate error, an inability to separate input in the first place, and an inability to exchange error for simplicity, among others. Some of these are addressable with this particular extension of SI; some are addressable with other extensions.
There is a similar intuition about nondeterministic hypotheses and a requirement that only part of the hypothesis must match the output, as nondeterministic Turing machines can be simulated by deterministic Turing machines via the simulation of every possible execution flow, but that strikes me as somewhat dodgy.
Previous Open Thread
You know the drill - If it's worth saying, but not worth its own post (even in Discussion), then it goes here.
Notes for future OT posters:
1. Please add the 'open_thread' tag.
2. Check if there is an active Open Thread before posting a new one.
3. Open Threads should start on Monday, and end on Sunday.
4. Open Threads should be posted in Discussion, and not Main.