If we know that for some particular class of propositions, some number were proven false quite easily, and some number were proven true but only after hundreds of years and great struggle, and the rest have remained unproven, it seems intuitively reasonable to suspect that more of the unproven ones are true than a naive ratio would suggest. I don’t know how to make this rigorous though.
If we know that for some particular class of propositions, some number were proven false quite easily, and some number were proven true but only after hundreds of years and great struggle, and the rest have remained unproven, it seems intuitively reasonable to suspect that more of the unproven ones are true than a naive ratio would suggest. I don’t know how to make this rigorous though.