數學需要電腦與新數學基礎

Files

yaucenter-20161015-11.pdf (1.77 MB)

Date

Authors

作者:渥伊沃茨基（Vladimir Voevodsky）

譯者:周樹靜　

Publisher

國立交通大學丘成桐中心

Abstract

用電腦輔證數學證明才能避免犯錯

URI

http://yaucenter.nctu.edu.tw/journal/20161025.php
http://yaucenter.nctu.edu.tw/journal/201610/ch2/main1.php
http://yaucenter.nctu.edu.tw/journal/picture201610.php?url=/journal/201610/ch2/%E6%95%B8%E7%90%86%E4%BA%BA%E6%96%87%E7%AC%AC10%E6%9C%9FP.54.pdf
https://ir.lib.nycu.edu.tw/handle/11536/137351

Collections

數理人文;;Mathematics, Science, History, and Culture