It is not the case that Kripke's distinction between epistemic and metaphysical possibility implies that P = NP being mathematically true does not collapse the epistemic gap between search and verification.
?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.