Credence in a proof can easily be fractional, it’s just usually extreme, as a fact of mathematical practice. The same as when you can actually look at a piece of paper and see what’s written on it with little doubt or cause to make less informed guesses. Or run a pure program to see what’s been computed, and what would therefore be computed if you ran it again.
Credence in a proof can easily be fractional, it’s just usually extreme, as a fact of mathematical practice. The same as when you can actually look at a piece of paper and see what’s written on it with little doubt or cause to make less informed guesses. Or run a pure program to see what’s been computed, and what would therefore be computed if you ran it again.