回首頁
回第10期
數學需要電腦與新數學基礎
用電腦輔證數學證明才能避免犯錯
全文閱覽
作 者 渥伊沃茨基 Vladimir Voevodsky
作者簡介 渥伊沃茨基是俄羅斯代數幾何學家，2002 年成為普林斯頓高等研究院教授。他以代數解形同倫理論與模諦上同調理論的研究獲得2002 年的費爾茲獎。
譯 者 周樹靜
譯者簡介 周樹靜為臺灣數學科普譯者。
本文出處 本文出自渥伊沃茨基 2014 年3 月的演講” Univalent Foundations: New Foundations of Mathematics”。並發表於2014 年夏的 The Institute Letter （《研究院簡訊》）。網頁版可見https://www.ias.edu/ideas/2014/voevodsky-origins 錄影網頁為 https://video.ias.edu/voevodsky14/
延伸閱讀