It is not the case that Gödel's results apply to formal systems; P vs NP is a concrete combinatorial claim about integer complexity—likely decidable in principle.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.