I think you and potato are talking about different things; potato’s criticism is close to what’s discussed in this post.
But for what it’s worth, Bayesians with finite (and flawed) computational powers can meaningfully assign probabilities to mathematical statements, and update as they prove more theorems.
More over, we would make little progress in prime analysis if we could not use probability theory to restrict expected experience in purely formal environments.
I think you and potato are talking about different things; potato’s criticism is close to what’s discussed in this post.
But for what it’s worth, Bayesians with finite (and flawed) computational powers can meaningfully assign probabilities to mathematical statements, and update as they prove more theorems.
More over, we would make little progress in prime analysis if we could not use probability theory to restrict expected experience in purely formal environments.