Re:Warrant Canary
by apw on Thursday June 13, 2013 @05:22AM
(#5873042)
Do you have a reference for "it's logically impossible to prove a negative"?
[ Parent
| on HN ]
In Intuitionistic Logic, you cannot rely on ad absurdum proofs (no law of excluded middle). However, people usually believe in classical logic where proving that something is false is easy: we just need to prove it is not true.