Logical Uncertainty

Logical Uncertainty is the MIRI-originated field of math covering how to probabilistically reason under resource constraints. The two main approaches in the field, at the current moment, are:

Logical Induction (incomplete) (a wildly impractical algorithm that achieves a very wide range of desiderata)

Optimal Poly-Time Estimators (I’ll learn more about this later and summarize it)