内容简介

绝大多数有知识的人今天仍然认为数学是关于物质世界的不可动摇的知识体质,数学推理是准确无误的。本书驳斥了这种神化。它强调了数学不合逻辑的发展方式,应用数学反对“纯”数学问题以及在20世纪数学逻辑结构的连贯性遇到的挑战。

数学的不合逻辑

作者从崇尚逻辑的古希腊人开始,一步步阐述数学的发展。我们会看到人们并不总是走坚实的路,相反,大多数时候是踩着光滑的石头作一步步的跳跃,过了河之后想着搭桥,但已经被水流淹过来时的石子路了。现在我们就处于一片河中的绿洲,不知道从哪里来,也不知道该往哪处去。

来自书中的一个比喻更具讽刺意味:

在莱茵河畔,一座美丽的城堡已经矗立了许多个世纪。在城堡的地下室中生活着一群蜘蛛,突然一阵大风吹散了它们辛辛苦苦编织的一张繁复的蛛网,于是它们慌乱地加以修补,因为它们认为,正是蛛网支撑着整个城堡

小至四元数、负数、复数、矩阵,大至微积分、非欧几何,经验算术及其延展代数背后隐藏着深深困扰数学家的逻辑问题。然而,数学家们是在贡献概念而不是从现实世界中抽象出思想,这些概念却被证明越来越实用,数学家们变得越来越肆无忌惮。通过应用经验来修正理论逻辑,数学逐步失去了其先验性,变得越来越像科学。

真理的丧失

数学活动是人类头脑里发生的。在那大程度上,其受数学家哲学思想的影响。从基督教入侵以来,关于“上帝是不是世界的主宰,而数学是不是上帝创造世界的工具”的争论便一直持续到18世纪后期,以无神论者的基本胜利告终

【读书笔记】数学:确定性的丧失相关推荐

  1. 读书笔记——数学之美

    读完数学之美,收获很多,在这里我对我的收获进行简要的总结,这些总结中不包括对具体算法和模型的详解,详解请参考其他资料,这里只进行简要的总结. 1 文字和语言 vs 数字和信息 文字.数字.语言和数学是 ...

  2. Maltab在数学建模中的应用(第二版)——读书笔记上

    Maltab在数学建模中的应用(第二版)--读书笔记上 1.MATLAB与数据文件的交互 1.1数据拟合 1.2数据拟合实例 1.3数据可视化 1.4层次分析法 2.规划问题的MATLAB求解(多约束 ...

  3. 数学:确定性的丧失---第八章 不合逻辑的发展:天堂之门

    发信人: paradax (秀树*冬眠中...), 信区: Philosophy 标  题: 数学:确定性的丧失(9) 发信站: 北大未名站 (2002年10月23日22:37:40 星期三), 转信 ...

  4. 数据分析?他们早就开始用了——数学之美读书笔记

    数据分析?他们早就开始用了? 标题取得很好听,其实就是<数学之美>这本书的读书笔记.这是每一个想学编程了解计算机的人都不应该错过的好书,必须推荐 光 看这个名字,你可能以为它就是一本讲数学 ...

  5. 数学:确定性的丧失---第四章 第一场灾难:真理的丧失

    发信人: paradax (秀树*冬眠中...), 信区: Philosophy 标  题: 数学:确定性的丧失(5) 发信站: 北大未名站 (2002年10月23日22:34:43 星期三), 转信 ...

  6. 度量相似性数学建模_数学之美读书笔记

    2020年6月读,先通读一遍,随后为写读书笔记又重新读了一遍,收获颇丰,虽然没有很多数学或者编程方面的知识,但正如作者所说,这本书讲述的是道,而非术. 读这本书让我领略到了科学的趣味,并不是枯燥的敲代 ...

  7. 《数学之美》-吴军 读书笔记

    从吴军的<数学之美>找到了伽莫夫的<从一到无穷大>,前段时间先整理了<从一到无穷大>的笔记.现在整理下<数学之美>以巩固下. 近段时间AlfaGo 与人 ...

  8. 《数学之美》——吴军#读书笔记

    <数学之美> 吴军 第一章:文字和语言vs数字和信息 主要内容概述:"语言和数学的产生都是为了同一个目的--记录和传播信息".科技是伴随着人类的不断进化而发展进步的.信 ...

  9. 吴军《数学之美》-读书笔记

    <数学之美>读书笔记 前言 第一章-文字和语言 vs 数字和信息 第二章-自然语言处理(从规则到统计) 第三章-统计语言模型 前言 本来想把题目写作读后有感或者叫什么心得体会,但是斟酌之后 ...

  10. 数学:确定性的丧失--第一章 数学真理的起源

    发信人: paradax (秀树*冬眠中...), 信区: Philosophy 标  题: 数学:确定性的丧失(2) 发信站: 北大未名站 (2002年10月23日22:32:42 星期三), 转信 ...

最新文章

  1. ICCV 2019:谷歌获最佳论文!中国入选论文最多,中科院、清华领跑
  2. 简单套路发高分文章--杨树内生和根际微生物组结构
  3. DCMTK:将DICOM结构化报告文件的内容转换为XML格式
  4. java 枚举类型enum
  5. 专题2-通过按键玩中断\第1课-中断处理流程深度剖析-lesson1
  6. 机器学习 | 特征缩放
  7. 面试精讲之面试考点及大厂真题 - 分布式专栏 02 了解大厂面试基本套路及每一轮的重点
  8. vue hot true 不起作用_Vue + Flask 小知识(二)
  9. java集合详解_「软帝学院」Java进阶者专栏:集合框架详解3
  10. Kettle 之 javascript字段数据处理
  11. JavaScript学习(十五)—内部样式与外部样式的修改与设置
  12. python中filter(),reduce()函数
  13. 关于用MATLAB求解定积分方程的问题
  14. usb转ttl测试软件,usb转ttl驱动
  15. 地区与地区编码的相互转换
  16. java bat运行jar文件_利用.bat文件运行jar文件
  17. 个人微信淘宝客返利机器人搭建教程
  18. php网页读取sql数据库数据模板,discuz模板中直接读取数据库中的插件数据
  19. STM32 RTOS创建消息队列的两种方式(解决数据类型问题)
  20. Robust Visual Tracking with a Freely-moving Event Camera

热门文章

  1. Dreammail 其他功能介绍
  2. Cesium学习五:使用entity绘制cylinder
  3. Invalid bound statement (not found): com.xxx.dao.xxxDao.selectByxx
  4. phpstudy配置SSL CA证书
  5. angular JS + PrimeNG 初学使用
  6. yum安装jdk详细步骤
  7. aaa服务器型号,AAA服务器安装调试及配置验证
  8. 帮我写一个拦截APP广告的程序
  9. 啥是云主机,云主机是啥样的?
  10. Android群英传神兵利器读书笔记——第一章:程序员小窝——搭建高效的开发环境