Assigning Bayes-probabilities <1 to mathematical statements (that have been definitly proven) seems absurd and logically contradictory, because you need mathematics to even asign probabilities.
If you assign any Bayes probability to the statement that Bayes probabilities even work, you already assume that they do work.
And, arguably, 2+2=4 is much simpler than the concept of Bayes-probability
(To be fair, the same might not be true for my most complex statement that Pi is irrational)
Assigning Bayes-probabilities <1 to mathematical statements (that have been definitly proven) seems absurd and logically contradictory, because you need mathematics to even asign probabilities.
If you assign any Bayes probability to the statement that Bayes probabilities even work, you already assume that they do work.
And, arguably, 2+2=4 is much simpler than the concept of Bayes-probability (To be fair, the same might not be true for my most complex statement that Pi is irrational)