Re logical induction: there’s a connection with infra-Bayes and the logical induction from the MIRI paper. This both increases the chance that logical induction will serve as theoretical grounding and means it helps serve as evidence for infra-Bayes being fruitful (evidence we wouldn’t have had had we not gotten the logical induction paper).
Re logical induction: there’s a connection with infra-Bayes and the logical induction from the MIRI paper. This both increases the chance that logical induction will serve as theoretical grounding and means it helps serve as evidence for infra-Bayes being fruitful (evidence we wouldn’t have had had we not gotten the logical induction paper).