陶哲軒 Terence Tao深度解析 EP.08-數學家如何確定證明無誤？
カートのアイテムが多すぎます
カートに追加できませんでした。
ウィッシュリストに追加できませんでした。
ほしい物リストの削除に失敗しました。
ポッドキャストのフォローに失敗しました
ポッドキャストのフォロー解除に失敗しました
陶哲軒 Terence Tao深度解析 EP.08-數學家如何確定證明無誤？
-
ナレーター：
-
著者：
EP.08｜數學家怎麼知道自己的證明真的沒有錯？
如果一個數學證明有 100 頁，數學家怎麼知道——第 73 頁沒有錯？ 我們常以為，數學只要「證明出來」，答案就確定了。
但真正的數學研究裡，證明寫完其實不代表檢查結束。
一個看似合理的推理，可能漏掉特殊情況；一個不起眼的條件，也可能影響整個論證。即使是頂尖數學家的研究成果，也需要經過反覆閱讀、同行討論與持續驗證。
《MATHEMATICAL MINDS｜數學家深度解析》EP.08，從 Terence Tao（陶哲軒）的研究經驗出發，帶你看看：
・數學家完成證明後，還要檢查什麼？
・Peer Review 能保證一個證明百分之百正確嗎？
・其他數學家如何一起驗證研究成果？
・Lean、Proof Assistant 與形式化證明到底在做什麼？
・AI 寫出來的「證明」，真的可以相信嗎？
當 AI 開始進入數學研究，我們更需要分清楚： 「看起來合理」和「經得起驗證」，是兩件不同的事。 數學之所以可靠，不是因為數學家不會犯錯， 而是因為一個證明，必須經得起一次又一次的檢查。
🎧 Podcast https://open.firstory.me/user/thu-math-podcast/platforms
📷 Instagram https://www.instagram.com/thu_math/
📘 Facebook https://www.facebook.com/math.thu.edu.tw/
▶️ YouTube https://www.youtube.com/@THU_SCAM
我們是東海大學智慧計算暨應用數學系。
#TerenceTao #陶哲軒 #數學 #數學研究 #數學證明 #ProofAssistant #Lean #AI #MathematicalMinds #數學家深度解析
#東海大學 #智慧計算暨應用數學系 #東海應數
留言告訴我你對這一集的想法： https://open.firstory.fm/user/cmqozde52031601vq3nru4p4o/comments
Powered by Firstory Hosting