[問卦] 數學界怎麼看用程式解證明題已刪文

看板Gossiping作者 (完工了)時間5年前 (2019/03/23 00:11), 編輯推噓9(10推 1噓 5→)
留言16則, 13人參與, 5年前最新討論串1/1
我最近看一些科普節目，看到有一些數學的證明方式好像是用程式窮舉暴搜 先不論程式有沒有可能出bug，我剛看到時有點驚訝，原來也可以用這種方式 這種證明方式數學界是普遍接受的嗎，還是說這種證明方式其實很常見呢 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 39.9.225.131 ※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1553271086.A.2CE.html
→
03/23 00:12, 5年前 , 1F
想知道答案，你不會去念書哦幹
03/23 00:12, 1F
推
03/23 00:13, 5年前 , 2F
四色定理
03/23 00:13, 2F
推
03/23 00:14, 5年前 , 3F
暴力法也是方法，能得出結論就是好方法
03/23 00:14, 3F
推
03/23 00:14, 5年前 , 4F
窮舉當然是種證明
03/23 00:14, 4F
→
03/23 00:14, 5年前 , 5F
先求有再求好，就這麼簡單
03/23 00:14, 5F
→
03/23 00:16, 5年前 , 6F
你想要更優美的證明等真的證出來再慢慢想不是更好，
03/23 00:16, 6F
→
03/23 00:16, 5年前 , 7F
不然要是猜想其實是錯的你不就證到死
03/23 00:16, 7F
噓
03/23 00:21, 5年前 , 8F
窮舉當然可以啊 但你有辦法叫程式窮舉無限個例子？
03/23 00:21, 8F
推
03/23 00:21, 5年前 , 9F
純理論的人其實不太喜歡
03/23 00:21, 9F
推
03/23 00:24, 5年前 , 10F
可是不是都得出答案了 = =
03/23 00:24, 10F
→
03/23 00:24, 5年前 , 11F
會有差嗎？
03/23 00:24, 11F
推
03/23 00:28, 5年前 , 12F
數學對結論只談真假，對過程才講方法
03/23 00:28, 12F
推
03/23 00:33, 5年前 , 13F
證四色的程式是人寫的不是電腦自己生的
03/23 00:33, 13F
推
03/23 00:45, 5年前 , 14F
這哪叫證明
03/23 00:45, 14F
推
03/23 01:56, 5年前 , 15F
能適用的只有少部分，用窮舉法怎麼證明圓周率是無限小數?
03/23 01:56, 15F
推
03/26 11:50, 5年前 , 16F
純數學不能接受程式證明
03/26 11:50, 16F
‣ 更多 jobsdone 的文章
文章代碼(AID): #1SbGakBE (Gossiping)