欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
数学哲学
来自开放百科 - 灰狐
(版本间的差异)
小 (→书籍) |
小 (→相关) |
||
第25行: | 第25行: | ||
*[[数理逻辑]] | *[[数理逻辑]] | ||
*[[formal mathematics|形式化数学]] | *[[formal mathematics|形式化数学]] | ||
+ | |||
+ | ==数学家== | ||
+ | 整理一些著名数学家的思维哲学和艺术: | ||
+ | *黎曼进入哥廷根大学神学院学习哲学和神学,他改学数学。常常进入一个领域,全新构造这个领域的数学体系,无需瞻前顾后。 | ||
+ | *庞加莱受益于法国数学全面综合的教育体系,拥有全局性的数学视野。 | ||
+ | *希尔伯特亚历山大式的公理权威,代数、几何、分析、数学物理、数学哲学的稳固基础。希尔伯特的23个问题和希尔伯特计划的数学指南。 | ||
==文档== | ==文档== |
2022年10月25日 (二) 03:04的版本
您可以在Wikipedia上了解到此条目的英文信息 数学哲学 Thanks, Wikipedia. |
数学哲学 Philosophy of mathematics
目录 |
简介
数学哲学、数学思想,对数学的思考
数学哲学是哲学的一个分支,研究数学中的哲学问题的学科。
内容
着重研究:
- 数学的对象、性质、特点、地位与作用;
- 数学新分支、新课题提出的重要概念的哲学意义;
- 著名数学家和数学流派的数学和哲学思想;
- 数学方法和数学基础等问题。
现代数学哲学的研究内容包括:
- 数学基础的研究,罗素的逻辑主义、布劳威尔的直觉主义和希尔伯特的形式主义等流派;
- 数学悖论的研究,探讨悖论的排除及彻底解决的可能性;
- 数学本体论的研究,探讨数学的研究对象是否为客观的真实的存在;数学真理性的研究等。
相关
数学家
整理一些著名数学家的思维哲学和艺术:
- 黎曼进入哥廷根大学神学院学习哲学和神学,他改学数学。常常进入一个领域,全新构造这个领域的数学体系,无需瞻前顾后。
- 庞加莱受益于法国数学全面综合的教育体系,拥有全局性的数学视野。
- 希尔伯特亚历山大式的公理权威,代数、几何、分析、数学物理、数学哲学的稳固基础。希尔伯特的23个问题和希尔伯特计划的数学指南。
文档
书籍
- 《自然哲学之数学原理》
- 《古今数学思想》
- 《数学哲学:对数学的思考》 复旦大学出版社 [美]斯图尔特‧夏皮罗
- 《作为哲学的数理逻辑》 杨睿之
- 《数学哲学》 商务印书馆 [美]保罗·贝纳塞拉夫, 希拉里·普特南
图集
链接
分享您的观点