推 TimcApple : 至少說明你的進展到哪 有什麼利弊 讓別人引以為鑒 05/15 22:26
推 chemmachine : 正常來說學位不是指導教授說過就好了嗎? 05/15 22:32
→ chemmachine : 博士要夠點數。不過現在數學系越來越多數學教育跟 05/15 22:33
→ chemmachine : 文獻回顧了。 05/15 22:33
推 lo0945 : 讓別人知道這條路有人走過 沒走出結果 這也是種結果 05/15 22:34
→ chemmachine : 基本上就是證明對,或證明錯,或提高層次到不可證 05/15 22:34
→ chemmachine : 偽。反正通篇要有一個證明就對了。 05/15 22:35
推 chemmachine : 如果把數學應用到生物和機械化工材料 05/15 22:37
→ chemmachine : 的話,應該算建模之後證明或計算。 05/15 22:38
→ chemmachine : 覺得講很多計算的也算吧。 05/15 22:38
換言之,正規數學研究還是以證明為核心,即使是偏應用的研究題目,例如
資訊類的開發新演算法,也得證明它的收斂性以及像是對收斂率給個估計並
證明之?
另外說到證明,現在用電腦證明能做到怎樣程度? 數學研究論文裡的證明,
有多大部分可以用電腦做輔助工具?
※ 編輯: saltlake (114.44.196.32 臺灣), 05/16/2020 00:08:10
→ TimcApple : 一篇基本上完全是電腦算出來的東西 05/16 00:13
推 chemmachine : 四色定理也是,其實還不少,數值PDE不少 05/16 00:31
推 chemmachine : 證明還是有必要的,計算可歸入證明的一環。 05/16 00:36
推 wohtp : 基本上電腦仍然只是計算機。 05/16 00:41
→ wohtp : 像樓上貼那篇反證,找到一個反例就好,用電腦大海撈 05/16 00:44
→ wohtp : 針正好,撈到就是你的。 05/16 00:44
→ wohtp : 或者用電腦做窮舉。例如數論之類,你證明某個定理對 05/16 00:49
→ wohtp : 10^12以上的整數恆成立,對小於這個下界的整數就可 05/16 00:49
→ wohtp : 以用電腦暴力檢查。 05/16 00:49
推 Starvilo : 樓上那題 葉永南有教過 05/16 09:15