我在大二那個暑假,
讀了哥德爾不完備定理,
了解了用集合論討論事情本身的邏輯缺陷。
那時候我蠻震撼,原來存在無法被形式上證明的真命題,
也就開始理解到數學也只是一種構造論據的方式。
數學,並沒有比較powerful。
當時我感覺到,追求真理,
就像在走一個迷宮,
而用數學證明追求真理,
則是在一個不能保證能通往你想抵達的出口的迷宮。
於是證明,其實都只是幫助你說服自己某個命題對的工具,
數學證明於是就像是理學院的A片,
可以透過手淫寫證明來自嗨,
但那並不是追求真理的健康方式。
什麼是追求真理的健康方式呢?
如果你去觀察,大部分偉大的數學家,
人家並不自稱自己是數學家,
都是自稱自己是物理學家,經濟學家,發明家。
人家是因為真的有大自然,有大社會,有人類需求,
在指導他們問對的問題,做有價值的解答,
而整套解決方案成熟,使用起來非常有效,
為了教育更多人學會這套有效的方式,
才逐漸抽象化,然後成為數學的新的分支。
數學,本身就無法發現新的現象,
數學只能解釋其他人有發現的現象。
數學於是成為一種洗腦的工具,
而要追求真理,請走別路。