Further, integrating probability and logic is a huge unsolved problem! We actually have very little idea how to combine our two greatest successes in formalizing rationality.
I think MIRI reported making a big breakthrough on this.
And here it is: https://intelligence.org/2016/09/12/new-paper-logical-induction/
I think MIRI reported making a big breakthrough on this.
And here it is: https://intelligence.org/2016/09/12/new-paper-logical-induction/