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