To learn more about this, see “Scientific Induction in Probabilistic Mathematics”, written up by Jeremy Hahn
This line:
Choose a random sentence from S, with the probability that O is chosen proportional to u(O) − 2^-length(O).
...looks like a subtraction operation to the reader. Perhaps use “i.e.” instead.
The paper appears to be arguing against the applicability of the universal prior to mathematics.
However, why not just accept the universal prior—and then update on learning the laws of mathematics?
Current theme: default
Less Wrong (text)
Less Wrong (link)
This line:
...looks like a subtraction operation to the reader. Perhaps use “i.e.” instead.
The paper appears to be arguing against the applicability of the universal prior to mathematics.
However, why not just accept the universal prior—and then update on learning the laws of mathematics?