I don’t understand the point of your comment. It should have been clear from the context that by “dealing with uncertainty in mathematics” I did not mean things like proving or disproving a conjecture, thus resolving its uncertainty, but rather how to make bets involving mathematical statements that we don’t know how to either prove or disprove. Are you saying that the latter is not an important problem, or just that you don’t like that I’m using the phrase “dealing with uncertainty in mathematics” to refer to it?
You don’t have to resolve all of uncertainty in one go. For example, you could restrict a function to part of a domain, thus deciding that it is only this part that you are interested in, instead of the whole thing.
What you seem to mean is non-rigorous methods for making uncertain conclusions about mathematical structures. It is about dealing with uncertainty about mathematics on non-mathematical level of rigor. Correct?
Yes, something like that, except that “non-rigorous” seems too prejudicial. Why not just “methods for making uncertain conclusions about mathematical structures”, or “dealing with uncertainty about mathematics”?
I don’t understand the point of your comment. It should have been clear from the context that by “dealing with uncertainty in mathematics” I did not mean things like proving or disproving a conjecture, thus resolving its uncertainty, but rather how to make bets involving mathematical statements that we don’t know how to either prove or disprove. Are you saying that the latter is not an important problem, or just that you don’t like that I’m using the phrase “dealing with uncertainty in mathematics” to refer to it?
You don’t have to resolve all of uncertainty in one go. For example, you could restrict a function to part of a domain, thus deciding that it is only this part that you are interested in, instead of the whole thing.
What you seem to mean is non-rigorous methods for making uncertain conclusions about mathematical structures. It is about dealing with uncertainty about mathematics on non-mathematical level of rigor. Correct?
Yes, something like that, except that “non-rigorous” seems too prejudicial. Why not just “methods for making uncertain conclusions about mathematical structures”, or “dealing with uncertainty about mathematics”?