Comment

Comment by skinner_

> Some people (almost all mathematicians) wouldn’t want to spend time on consequences of a false statement.

No, people constantly prove statements of the form "if P=NP, then strange implication X". They do not consider it wasted effort at all, because of the contrapositive: if X is indeed very strange, they might be able to prove that it is false, and then they've settled P!=NP.

parent skinner_ 2 months ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton