Manfred comments on A Limited But Better Than Nothing Way To Assign Probabilities to Statements of Logic, Arithmetic, etc.

[Manfred]

Yeah—there’s a predecessor post by Benja Fallenstein that’s good but relatively impenetrable, and a more recent post by I believe Abram Demski that comes at the problem from a different angle (A sampling distribution over algorithms).

EDIT: aha, found it