欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
数学哲学
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 数学哲学 Thanks, Wikipedia. |
数学哲学 Philosophy of mathematics
目录 |
简介
数学哲学、数学思想,对数学的思考
数学哲学是哲学的一个分支,研究数学中的哲学问题的学科。
内容
着重研究:
- 数学的对象、性质、特点、地位与作用;
- 数学新分支、新课题提出的重要概念的哲学意义;
- 著名数学家和数学流派的数学和哲学思想;
- 数学方法和数学基础等问题。
现代数学哲学的研究内容包括:
- 数学基础的研究,罗素的逻辑主义、布劳威尔的直觉主义和希尔伯特的形式主义等流派;
- 数学悖论的研究,探讨悖论的排除及彻底解决的可能性;
- 数学本体论的研究,探讨数学的研究对象是否为客观的真实的存在;数学真理性的研究等。
相关
文档
书籍
- 《自然哲学之数学原理》
- 《古今数学思想》
- 《数学哲学:对数学的思考》 复旦大学出版社 [美]斯图尔特‧夏皮罗
- 《作为哲学的数理逻辑》 杨睿之
- 《数学哲学》 商务印书馆 [美]保罗·贝纳塞拉夫, 希拉里·普特南
图集
链接
分享您的观点