It is not the case that Mathematical truths are necessary, not contingent. P=NP has a determinate truth-value independent of possible worlds; Kripkean semantics doesn't apply.
?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.