timtyler comments on Results from MIRI's December workshop - Less Wrong

45 Post author: Benja 15 January 2014 10:29PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (43)

Sort By: Old

You are viewing a single comment's thread.

Comment author: timtyler 02 January 2014 01:28:33PM * -2 points [-]

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?