网易首页 > 网易号 > 正文 申请入驻

老何早年数学史札记(8):数学史上的三次逻辑危机

0
分享至


第一次危机:无理数悖论
* 发生时间: 公元前5世纪
* 核心矛盾: 毕达哥拉斯学派被认为是西方数理学的起源。这个学派认为“万物皆数”,万物和宇宙的本质是数字。认为宇宙间的一切现象都能归结为整数或整数之比例(有理数)。毕氏创立了几何学的毕达哥拉斯定理(中国人的勾股定理)。然而,这个学派弟子希帕索斯Hippasus发现,边长为1的正方形,其对角线长度(即√2)是无理数,因为它无法表示为两个整数的比,且其十进制展开是无限不循环的 )无法表示为两个整数之比。
* 危机本质: 几何量的不可公度性与“一切皆为有理数”信条的冲突。
* 结果:
1、建立了比例理论,通过几何方法回避了无理数的直接代数定义。
2、危机前的数域认知(毕达哥拉斯学派):只有有理数(整数和整数之比,分数)
认为"宇宙的任何度量都是可公度的"。"自然数、整数、分数"这些概念,都被视为有理数的特例。
危机后的数域认知得到扩展:
认识到无理数的存在。数域认知扩展为实数(有理数 + 无理数),从而奠定基础可以构造现代意义上完整的"数量连续统"(康托尔连续统)。
19世纪,随着实数理论的完善(例如戴德金分割),无理数方被赋予了现代定义和逻辑基础。

第二次危机:无穷小悖论
* 发生时间: 17世纪末至18世纪
核心矛盾: 牛顿和莱布尼茨创立了微积分,但在理论基础中,“无穷小量”概念含混不清。
爱尔兰主教贝克莱提出了著名的“贝克莱悖论”,批评无穷小量在推导过程中既被当作非零量作为除数,又被当作零消去,是“消失之量的鬼魂(幽灵)”。
* 危机本质: 微积分算法的合理性与其逻辑基础之间发生矛盾。
* 结果: 19世纪6柯西(Cauchy)和魏尔斯特拉斯(Weierstrass)等人建立了严格的极限理论,引入了 varepsilon-delta 语言,将无穷小量定义为“以零为极限的变量”,从而表面上消除了无穷小量的神秘感和逻辑矛盾。

第三次危机:集合论悖论
* 发生时间: 20世纪初(1902年)
* 核心矛盾: 康托尔创立的集合论被视为现代数学的基础。但罗素(Russell)提出了著名的“罗素悖论”:设集合 S 由一切不包含自身的集合所组成,那么问 S 集合是否包括其自身?这个问题引出自相矛盾的两种答案即悖论。这一悖论直接动摇了集合论的概念根基。
* 危机本质: 数学基础(集合论)出现了逻辑矛盾,威胁到整个数学体系的构造。
* 结果: 数学家们通过公理化来限制集合的定义。
策梅洛(Zermelo)和弗兰克尔(Fraenkel)等人建立了ZFC公理系统。
悖论本身在ZF等公理系统中被成功避免,现代数学的绝大部分工作可以建立在ZF公理系统上。

但是,1931年奥地利数学家哥德尔提出不完备定理,认为:任何数学系统都无法证明自己内在无矛盾,包括ZFC公理系统。
[库尔特·哥德尔(Kurt Gödel,1906-1978),美籍奥地利数学家、逻辑学家,被公认为亚里士多德之后最伟大的逻辑学家。
1931年发表哥德尔不完备性定理,证明任何包含算术的形式系统都必然存在真假无法判定的真命题。不完备性定理,颠覆了数学与逻辑学的基础。]
哥德尔(Gödel)不完备性定理深刻揭示了形式化系统的局限性。最终打破了“数学是具备严密性、逻辑自足自洽,完美无缺科学体系”的传统观念。

根本性影响: 现代数学家们认识到:数学不是关于客观真理的发现,而是人类理性的构造物。
数学逻辑只是在设定公理和规则下进行的形式推理游戏。
数学的“真理”在于建立逻辑自洽,而不在于必须寻求与现实世界物理实相之对应。

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐
70年,林立果和林豆豆的合影,注意看林立果的眼神,实在有点吓人

70年,林立果和林豆豆的合影,注意看林立果的眼神,实在有点吓人

元哥说历史
2026-07-07 00:00:06
难怪急着找中方谈判,中国巨浪导弹升空,美军介入台海必定会输?

难怪急着找中方谈判,中国巨浪导弹升空,美军介入台海必定会输?

千羽解读
2026-07-09 10:09:53
玄学提醒:如果一个人还在穿着10年前的衣服,只说明3个问题

玄学提醒:如果一个人还在穿着10年前的衣服,只说明3个问题

洞读君
2026-03-04 14:30:12
大型三级专科医院突然宣布停诊!

大型三级专科医院突然宣布停诊!

医脉圈
2026-07-08 22:54:20
曝杨瀚森王俊杰徐昕等4人离队!中国男篮7月13日再次开启集训

曝杨瀚森王俊杰徐昕等4人离队!中国男篮7月13日再次开启集训

狼叔评论
2026-07-09 18:06:31
A股:今天,超4000只个股普跌,明天,周五很可能这样走了

A股:今天,超4000只个股普跌,明天,周五很可能这样走了

财经大拿
2026-07-09 13:12:30
李在明祝贺挪威晋级世界杯八强:当场模仿“维京划船”

李在明祝贺挪威晋级世界杯八强:当场模仿“维京划船”

观察者网
2026-07-08 22:40:18
善恶终有报,当年插足上位的她,如今终于尝到苦果了

善恶终有报,当年插足上位的她,如今终于尝到苦果了

借你一生
2026-07-09 07:44:35
马向东为儿子报仇被判死刑,行刑前对妻子说:我去陪孩子了

马向东为儿子报仇被判死刑,行刑前对妻子说:我去陪孩子了

纸鸢奇谭
2025-02-26 20:46:29
外媒:伊朗伊斯兰革命卫队称,伊朗打击巴林和科威特境内美军基地

外媒:伊朗伊斯兰革命卫队称,伊朗打击巴林和科威特境内美军基地

环球网资讯
2026-07-09 11:00:27
天天锻炼不等于长寿,专家忠告:年过60,只适合三种运动方式

天天锻炼不等于长寿,专家忠告:年过60,只适合三种运动方式

坠入二次元的海洋
2026-06-29 12:54:46
世界杯:史无前例!四位超级巨星共同创造最伟大的金靴争夺战

世界杯:史无前例!四位超级巨星共同创造最伟大的金靴争夺战

青梅侃史啊
2026-07-09 16:54:25
法国vs摩洛哥前瞻:摩洛哥进攻爆点伤缺,法国四重奏冲垮非洲冠军

法国vs摩洛哥前瞻:摩洛哥进攻爆点伤缺,法国四重奏冲垮非洲冠军

智道足球
2026-07-09 11:33:39
爆笑!29岁梁靖崑回应担任国乒副队长:没加钱 能加钱就干正队了

爆笑!29岁梁靖崑回应担任国乒副队长:没加钱 能加钱就干正队了

念洲
2026-07-09 15:18:27
饭局上吃到这道菜,可以少吃,不懂也要装作不知道,不然多尴尬

饭局上吃到这道菜,可以少吃,不懂也要装作不知道,不然多尴尬

邹小蘑菇
2026-07-07 09:27:24
江苏省委决定:两地市委书记同日调整

江苏省委决定:两地市委书记同日调整

上观新闻
2026-07-09 10:28:49
海军中尉石少勇牺牲,年仅25岁!

海军中尉石少勇牺牲,年仅25岁!

闻讯而谈
2026-07-09 14:21:58
买超又有新欢了?曝与05后演员乔仙童恋情,疑同游新疆,同款被扒

买超又有新欢了?曝与05后演员乔仙童恋情,疑同游新疆,同款被扒

往史过眼云烟
2026-07-08 16:39:58
五小时史诗鏖战让阿利亚西姆读懂德约的伟大,看清自己的成长

五小时史诗鏖战让阿利亚西姆读懂德约的伟大,看清自己的成长

网球之家
2026-07-09 13:54:42
酗酒丈夫常年怪癖施暴,夜间拔毛成瘾,绝望妻子锤杀丈夫惨案纪实

酗酒丈夫常年怪癖施暴,夜间拔毛成瘾,绝望妻子锤杀丈夫惨案纪实

易玄
2026-07-04 13:20:20
2026-07-09 19:04:49
何新文史 incentive-icons
何新文史
全国政协委员何新(已退休)
4452文章数 8061关注度
往期回顾 全部

教育要闻

用东北话拆解英语从句 that变那啥,例句秒变接地气东北口语

头条要闻

媒体:一家三口被大风卷走身亡 事后的细节更让人不安

头条要闻

媒体:一家三口被大风卷走身亡 事后的细节更让人不安

体育要闻

王楚谈埃及判罚争议:足球没有绝对公平

娱乐要闻

陈翔发文“苍天饶过谁”登热搜,旧事再引关注

财经要闻

中国房地产十年

科技要闻

字节杀回来了!深度实测Seedream 5.0 Pro

汽车要闻

理想纯电旗舰i9官宣 9系旗舰再添新车

态度原创

时尚
家居
艺术
房产
公开课

“长+长穿法”今夏又火了!这样穿时髦又显高

家居要闻

2026建博会(广州) 公装联探展交流活动

艺术要闻

新青年·新征程——2026青年艺术作品展 油画选

房产要闻

猛踩油门!绿地,又拿下海南一个大城更!

公开课

李玫瑾:为什么性格比能力更重要?

无障碍浏览 进入关怀版