Second-order logical version of Solomonoff induction.
I’m not sure this is the right problem. See this post I just made.
Non-Cartesian version of Solomonoff induction.
UDT seems to solve this well enough that I no longer consider it a major open problem. Is this not your or Eliezer’s evaluation?
I’m not sure this is the right problem. See this post I just made.
UDT seems to solve this well enough that I no longer consider it a major open problem. Is this not your or Eliezer’s evaluation?