Threads上的朋友問到數學系的人是怎麼看數學？
在數學系三四年級的時候，因為要找工作了，才發現自己變成神的祭品。
我想數學系最有價值的能力會是「數學建模 Mathematical Modeling」，
例如工程數學的內容，
基本都是對工程問題的某種數學建模。
數學系本身提供各種數學模型，
都是做數學建模的策略，
用得好，許多工程問題能很明顯簡化，
工程問題能解決得更穩固。
然而，為什麼工程上的數學可以這麼可靠讓大家使用呢？
這是因為數學系的研究已經有把這些數學工具做好 debug，
確保在“數學的邏輯”下，
這些數學工具不會使用到一半產生自相矛盾。
以前在台大數學系，教授講過一句話：
「整個台大裡面，只有我們數學系最怕矛盾。」
這點出了數學之所以可靠，
背後的一個你不能問只能買單的論證方法：「反證法 Proof by Contradiction」。
反證法幫我們數學系的人，
將矛盾轉化爲一種論據，
這就像是你在一個路口要左右轉，
然後右轉會遇到矛盾，走到死路，
反證法就跟你說，那你就左轉吧。
然而，可能撤退才是正確選項。
