作者nicewine (樱木花道)
看板Math
标题[分析] 数学危机(三)
时间Fri Apr 22 01:49:51 2005
19世纪70年代
德国数学家康托尔建立了集合论
戴德金与弗雷格进一步
以集合的概念定义自然数
於是问题变成集合论是否矛盾
集合论被看成是整个现代数学的基础
也被公认为数学的基础
1900年国际数学家大会上
庞加来宣布数学已达到绝对严格
然而此时集合论中出现了悖论
1902年罗素发现的一个悖论引起大家恐慌
1918年罗素提出一个较通俗的悖论
一位小镇理发师宣称
只给那些不为自己刮胡子的人刮胡子
那麽他要不要为自己刮胡子呢
罗素悖论触及数学基础
这就是数学史上的第三次危机
数学家为了解决这个问题提出了三种方案
逻辑主义
直觉主义
形式主义
这就是所谓数学基础三大学派
接下来的问题就变成哲学问题了
(完)
--
这篇也是在灌水
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 219.84.6.137