[研究]要怎麼證明一個東西錯了呢?

這幾天碰到一個問題"老闆說:Anderson你去證明這個東西沒有這個功能"

證明他沒有該用什麼方法呢?

先說證明有好了:

以邏輯來說就是find a answer 答案很多時只要找到一個就算找出來了

如果答案只有一個當然就是 find the answer

有時候這會是很簡單的，但通常都不太容易

那證明不存在(OR沒有)呢?

1.找出所有的方法證明皆不成功，則方法不存在

缺點:除非確定找出所有的方法，否則不能說不存在

2.找出和已知OR真理矛盾的事情

缺點:有的時候不太好証

3.已知它不行，證明它不行:

缺點:有的時候你証不出來的事情，不一定是錯的，有可能是你不會證!!

我的問題就卡在3.囉!!

証出來的東西不一定是東西，有可能是我不會OR還沒找到答案!

以上的東西在我念完黃子嘉的離散數學之後有深刻的體會。