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