122｜為什麼數學系的你會成為神的祭品？

Threads上的朋友問到數學系的人是怎麼看數學？

在我的經驗上，在數學系一二年級的時候會覺得數學是神，

在數學系三四年級的時候，因為要找工作了，才發現自己變成神的祭品。

我想數學系最有價值的能力會是「數學建模 Mathematical Modeling」，

例如工程數學的內容，

基本都是對工程問題的某種數學建模。

數學系本身提供各種數學模型，

都是做數學建模的策略，

用得好，許多工程問題能很明顯簡化，

工程問題能解決得更穩固。

然而，為什麼工程上的數學可以這麼可靠讓大家使用呢？

這是因為數學系的研究已經有把這些數學工具做好 debug，

確保在“數學的邏輯”下，

這些數學工具不會使用到一半產生自相矛盾。

以前在台大數學系，教授講過一句話：

「整個台大裡面，只有我們數學系最怕矛盾。」

這點出了數學之所以可靠，

背後的一個你不能問只能買單的論證方法：「反證法 Proof by Contradiction」。

反證法幫我們數學系的人，

將矛盾轉化爲一種論據，

這就像是你在一個路口要左右轉，

然後右轉會遇到矛盾，走到死路，

反證法就跟你說，那你就左轉吧。

然而，可能撤退才是正確選項。