致批驳哥德尔不完全性定理者
来源:互联网 发布:unity3d 摇杆控制角色 编辑:程序博客网 时间:2024/05/16 06:50
致批驳哥德尔不完全性定理者
近年来,国内有人公开发表言论,批驳哥德尔的不一致性定理,扰乱社会视听,必须反击。
什么是数学?什么是逻辑?什么是数理逻辑?1977年,美国著名学者Jon Barwise(1942– 2000)在其代表作数理逻辑手册(Handbook)将数理逻辑大致分为4个部分:
1、 集合论;
2、 模型论;
3、 递归论;
4、 证明论(含一致性理论)。
值得注意的是,Barwise 将数理逻辑定义为:
Mathematical logic is a subfield of mathematics exploring the applications of formal logicto mathematics. It bears close connections to metamathematics, the foundations ofmathematics, and theoreticalcomputer science.
也就是说,数理逻辑是现代数学的一个部分,致力于研究形式逻辑对数学研究的应用。
事实是,哥德尔不一致性定理是数理逻辑中的一条基本定理。评论这条定理必须站在数理逻辑的角度展开,而不能使用小市民的语言瞎说。
哥德尔的工作是指:在任何含有算术的公理系统中,可以严格地构造出一条形式逻辑语句,使用该公理系统不能判定其真伪。很显然,哥德尔构造出的这条形式逻辑语句本身是真是假,并无关系,只是该公理系统证明不了其真伪性而已。
批驳哥德尔不一致性定理者,要求哥德尔构造出的形式语句必须是真的,大做文章,毫无道理。
哥德尔的对人类的贡献永存人间!
袁萌 10月21EI
- 致批驳哥德尔不完全性定理者
- 哥德尔不完全性定理探索数学边界
- NP完全性
- NP完全性问题
- NP完全性 算法摘记
- NP完全性问题
- NP完全性理论简介
- NP-完全性介绍
- NP-完全性理论总结
- NP完全性理论
- 用互联网进化论批驳web2.0
- 用互联网进化论批驳web2.0
- 哥德尔不完备定理
- 定理
- 定理
- NP完全性理论与近似算法
- NP完全性理论与近似算法
- 【算法证明】NP完全性问题证明
- 【codevs 1069】关押罪犯
- GP强制中断会话
- [BZOJ1799][AHOI2009]同类分布 数位DP+记忆化搜索
- 二进制循环移位问题
- ionic小案例
- 致批驳哥德尔不完全性定理者
- 缩点+树上差分——Codeforces555E Case of Computer Network
- C语言最大的乘积问题
- 51 Nod(1459 迷宫游戏)(dijkstra)
- angular之service
- ajax传值
- JavaScript之创建对象的方式
- 【noip 2010】关押罪犯
- Swift -> Java