logoalt Hacker News

hyperhellotoday at 1:29 AM2 repliesview on HN

It's supposed to be impossible to prove a negative. But it might still happen some day. We just don't know.


Replies

fluffybucktsnektoday at 1:47 AM

"it's impossible to prove a negative" is a simplification. A negation is just the oppositive of an affirmation. If the affirmation is "there is an element E of an infinite set S that satisfies property P", the negation would be "there is no E in S that satisfy P", which would make proving by enumeration require checking every element of an infinite set, which is impossible. But other forms of proof might be possible.

The set of US patents, however, are not infinite and, IIRC, is also public. That said, IP laws are a mess.

show 2 replies
MobiusHorizonstoday at 1:48 AM

Well played