So what would you call a field that deals with how one ought to make bets involving P!=NP (i.e., mathematical statements that we can’t prove to be true or false), if not “logical uncertainty”? Just “logic”? Wouldn’t that cause confusion in others, since today it’s usually understood that such questions are outside the realm of logic?
I don’t understand how to make such bets, except in a way it’s one of the kinds of human decision-making that can be explicated in terms of priors and utilities. The logic of this problem is in the process that works with the statement, which is in the domain of proof theory.
So what would you call a field that deals with how one ought to make bets involving P!=NP (i.e., mathematical statements that we can’t prove to be true or false), if not “logical uncertainty”? Just “logic”? Wouldn’t that cause confusion in others, since today it’s usually understood that such questions are outside the realm of logic?
I don’t understand how to make such bets, except in a way it’s one of the kinds of human decision-making that can be explicated in terms of priors and utilities. The logic of this problem is in the process that works with the statement, which is in the domain of proof theory.