It’s great that MIRI had some success with probabilistic reflection. But I’m still not sure if it matches the pattern of “waging war on an established result”. Lob’s theorem, like Russell’s paradox, is one of those counterintuitive problems where the answer we “feel” must be right is provably wrong. When someone tells me such a problem can be solved with probabilities but not with certainties, I get suspicious. Why would we be so lucky when going against the grain?
Sorry for the unhelpful comment. I do really wish the best of luck to such efforts.
It’s great that MIRI had some success with probabilistic reflection. But I’m still not sure if it matches the pattern of “waging war on an established result”. Lob’s theorem, like Russell’s paradox, is one of those counterintuitive problems where the answer we “feel” must be right is provably wrong. When someone tells me such a problem can be solved with probabilities but not with certainties, I get suspicious. Why would we be so lucky when going against the grain?
Sorry for the unhelpful comment. I do really wish the best of luck to such efforts.