哥德尔不完全性定理:现代数学的边界
2015-06-25 01:58
281 查看
德国数理逻辑学家哥德尔(Kurt
Godel,1906-1978)是康托尔的继承人,也是现代数学边疆的开拓者。
1931年,年仅25岁的哥德尔在其博士论文(只有两页纸)证明了知名的“不完全性定理”,其结论如下::
1)If
the system is
consistent(不矛盾),it
cannot be
complete(完全的);
2)The
consistency(不矛盾性)of
the axioms(公理系统)cannot
be proven(被证明)
within the
system。
哥德尔为什么在两页纸的博士论文中如此自信地得出上述结论?实质上,哥德尔的“不完全性定理”给现代数学划定了边界。哥德尔是如何证明的?实际上,哥德尔继承了当年康托尔的“对角线方法”(Diagonal
Method),是康托尔的继承人。
哥德尔的结论对那些企图给所有数学家研制出一套万能的公理系统的痴迷者“当头一棒”,震惊了当时的学界。实际上,只有25岁的“小毛头”哥德尔成为当时世界数学精英的代表人物。
哥德尔不完全性定理是说:在一个不含内部矛盾的数学理论中,必有不可证明的命题;一个理论系统的不矛盾性在其自身内部是不可能被证明的。
记得,在1978年1月14日哥德尔去世之后,中科院数学所举行悼念活动,会上我有一个发言,内容大意如上所述。
袁萌
6月25日
Godel,1906-1978)是康托尔的继承人,也是现代数学边疆的开拓者。
1931年,年仅25岁的哥德尔在其博士论文(只有两页纸)证明了知名的“不完全性定理”,其结论如下::
1)If
the system is
consistent(不矛盾),it
cannot be
complete(完全的);
2)The
consistency(不矛盾性)of
the axioms(公理系统)cannot
be proven(被证明)
within the
system。
哥德尔为什么在两页纸的博士论文中如此自信地得出上述结论?实质上,哥德尔的“不完全性定理”给现代数学划定了边界。哥德尔是如何证明的?实际上,哥德尔继承了当年康托尔的“对角线方法”(Diagonal
Method),是康托尔的继承人。
哥德尔的结论对那些企图给所有数学家研制出一套万能的公理系统的痴迷者“当头一棒”,震惊了当时的学界。实际上,只有25岁的“小毛头”哥德尔成为当时世界数学精英的代表人物。
哥德尔不完全性定理是说:在一个不含内部矛盾的数学理论中,必有不可证明的命题;一个理论系统的不矛盾性在其自身内部是不可能被证明的。
记得,在1978年1月14日哥德尔去世之后,中科院数学所举行悼念活动,会上我有一个发言,内容大意如上所述。
袁萌
6月25日
相关文章推荐
- FreeRadius数据表详解
- 网络-Switch笔记
- DrawerLayout的基本使用
- toplink unitwork
- zookeeper安装配置
- 细说ASP.NET的各种异步操作
- BZOJ2038 [2009国家集训队]小Z的袜子(分块法)
- C#客户端的异步操作
- 校验服务是否还存在
- Leetcode#14 Longest Common Prefix
- 使用JMeter进行负载测试——终极指南
- 如何在IIS6,7中部署ASP.NET网站
- leetcode 11 -- Container With Most Water
- .NET分布式缓存Memcached测试体验
- 关于autotools的安装以及使用
- javascript中的时间处理
- 实现一个基于WCF的分布式缓存系统
- Centos6.5 安装Vim7.4
- java根据url生成缓存key(或文件名)
- java