It is not the case that A conditional with an unprovably false antecedent (per Scott Aaronson's 'algebrization' barrier results) yields no epistemic traction about the actual structure of P versus NP.
?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.