文章詳目資料

數理人文

  • 加入收藏
  • 下載文章
篇名 數學需要電腦與新數學基礎|用電腦輔證數學證明才能避免犯錯
卷期 10
作者 渥伊沃茨基周樹靜
頁次 054-059
出刊日期 201610

中文摘要

格羅騰迪克(Alexandre Grothendieck)1984 年1 月向法國國家科學研究中心(CNRS)遞交了名為〈計畫要覽〉(Esquisse d’un Programme)的研究計畫。這份文件的複印本很快在數學家之間流傳起來。幾個月後,作為莫斯科大學的第一年研究生,我也從沙巴(George Shabat)那裡拿到一份,他是我的第一位科學導師。為了閱讀這份文件,我還特地去學法文,之後就開始研究文件中所描繪的一些觀念。

英文摘要

關鍵知識WIKI

相關文獻