A Formal Approach to the Problem of Logical Non-Omniscience

Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch +2

We present the logical induction criterion for computable algorithms that assign probabilities to every logical statement in a given formal language, and refine those probabilities…