Hacker News new | ask | show | jobs
by mdszy 2367 days ago
> a proof demonstrating that a particular problem cannot be solved as described in the claim, or that a particular set of problems cannot be solved in general

did you even read the article you linked

1 comments

Apologies, I thought you were saying that you can't prove a negative... that negative proofs (like the examples linked) do not exist.