会员
二十世纪数学哲学:一个自然主义者的评述
叶峰更新时间:2019-12-20 16:44:28
最新章节:名词索引开会员,本书免费读 >
《二十世纪数学哲学:一个自然主义者的评述》内容简介:数学被誉为自然科学桂冠上最耀眼的明珠,然而,数学研究的对象如无穷、拓扑空间、函数空间等在物理世界中并没有对应的实例,现代物理学呈现给人们的那个有限的、离散的世界,与数学研究对象之间存在着难以弥合的歧裂。如果脱离物理世界,数学世界的客观性就变得可疑。也许有人就认为数学不是对客观世界的描述,但以现代数学为基础的自然科学在现实世界中能够解决问题,并取得了巨大的成就,这又使得数学本身变得异常神秘。上述问题的驱动,催生了这看似高深莫测的数学哲学。19世纪末20世纪初,在现代数学产生初期,关于数学本身的根基问题困扰了当时最出色的数学家,如庞加莱、希尔伯特、布劳威尔、赫尔曼·威尔、冯·诺伊曼等。这些学者的思考拉开了数学哲学的序幕,百年来,数学基础的问题虽然逐渐淡出了人们的视线,但并未得到很好的解决。《二十世纪数学哲学:一个自然主义者的评述》从自然主义的立场介绍、分析和评述了20世纪主要的数学哲学思想。第一章是当代数学哲学的导论,作者简要地介绍了各种数学哲学思想的要点。第二章介绍r自然主义的基本观念及一种彻底的自然主义的数学哲学。从第三章开始,作者用大量篇幅介绍了20世纪几种丰要的数学哲学思想,并从自然主义的角度对它们作出分析和批评。
品牌:北大出版社
上架时间:2010-07-01 00:00:00
出版社:北京大学出版社
本书数字版权由北大出版社提供,并由其授权上海阅文信息技术有限公司制作发行
最新章节
叶峰
主页
同类热门书
最新上架
- 会员
数学建模与数学规划:方法、案例及编程实战(Python+COPT/Gurobi实现)
本书主要从数学规划的视角出发,系统地介绍了数学优化问题建模和求解的相关理论、方法、实际案例,以及基于Python和数学规划求解器(COPT和Gurobi)的编程实战。全书共分为四部分。第一部分为基本理论和建模方法,重点介绍了数学规划模型分类和建模方法(包括逻辑约束与大M建模方法、线性化方法)以及计算复杂性理论。第二部分为建模案例详解,通过理论、案例和实战相结合的方式,详细介绍了如何利用各种建模方法自然15.9万字 算法简史:从美索不达米亚到人工智能时代
21世纪的今天,我们生活的方方面面无时无刻不在被算法影响和塑造。它们帮我们选择最佳的行车路线,向我们推荐我们可能购买的商品,为我们识别语音和图像,甚至给单身人士匹配婚恋对象。越发强大的算法也在不断突破极限,无论是打败围棋世界冠军柯洁,借助大语言模型与人类会话,还是在200秒内完成超级计算机1万年才能完成的计算。然而,算法并非新近才开始影响人类社会,人类受益于算法已经有数千年的历史。在《算法简史:从自然15.1万字