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)