News for hackers. Stuff that matters.
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"?
Re:Warrant Canary by ernesth on Thursday June 13, 2013 @08:28AM (#5873649)
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.
Re:Warrant Canary by pjbrow on Thursday June 13, 2013 @07:15AM (#5873392)
Yep, the logic text book that I learnt it from. Just google "inductive logic prove negative" to check out a few articles on it.