Deduction, Computation, Experiment

What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? What is the relationship between mathematical procedures and natural processes? The essays collected in this volume address such questions from different points of view and will...

全面介紹

Saved in:
書目詳細資料
其他作者: Lupacchini, Rossella
格式: 圖書
語言:English
出版: Springer 2017
主題:
在線閱讀:http://repository.vnu.edu.vn/handle/VNU_123/31054
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!