Philosophy of Mathematics: A Contemporary Introduction to the World of Proofs and Pictures
Philosophy of Mathematics: A Contemporary Introduction to the World of Proofs and Pictures
复制标题
数学哲学：证明和图画世界的当代导论
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
J. Brown
中科院分区：
文献类型：
--
作者：
J. Brown
前言与致谢1.前言：数学图像2.柏拉图主义3.图片校对与柏拉图主义4.什么是应用数学？5.希尔伯特与哥德尔6.结与符号7.什么是定义？8.构造性方法9.维特根斯坦的证明、图画与程序10.计算、证明与猜想11.如何反驳连续体假说12.呼唤悬崖笔记。参考书目。索引
Preface and Acknowledgements 1. Introduction: The Mathematical Image 2. Platonism 3. Picture-Proofs and Platonism 4. What is Applied Mathematics? 5. Hilbert and Godel 6. Knots and Notation 7. What is a Definition? 8. Constructive Approaches 9. Proofs, Pictures and Procedures in Wittgenstein 10. Computation, Proof and Conjecture 11. How to Refute the Continuum Hypothesis 12. Calling the Bluff. Notes. Bibliography. Index