← Back to context

Comment by apw

12 years ago

Do you have a reference for "it's logically impossible to prove a negative"?

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.

Yep, the logic text book that I learnt it from. Just google "inductive logic prove negative" to check out a few articles on it.