(this is so awesome and it helps give me intuitions about Gödel’s theorem and how mathematics happens and stuff)
I didn’t parse the final sentence?
Logical induction (which is untrollable but not exactly a Bayesian probability distribution) is still the gold standard for logical uncertainty, but perhaps the number of desirable properties we can get by specifying simple sampling processes.
It feels like it should say ‘but perhaps the number of desirable properties we can get by specifying simple sampling processes is X’ but is missing the final clause, or something.
(this is so awesome and it helps give me intuitions about Gödel’s theorem and how mathematics happens and stuff)
I didn’t parse the final sentence?
It feels like it should say ‘but perhaps the number of desirable properties we can get by specifying simple sampling processes is X’ but is missing the final clause, or something.
Edit: This has been fixed now :-)
Right, whoops.
It should have said ”… by specifying simple sampling processes will increase as we push further in the direction Sam has opened up.”
Further bug: I can now see both the old final image and the new final image.
Wow, that’s weird, I **don’t** see both when I try to edit the draft. Only in the non-editing view.
Sorry for that, fixed it!
Wow. Oli’s on it.