水木社区手机版
首页
|版面-历史(History)|
新版wap站已上线
展开
|
楼主
|
同主题展开
|
溯源
|
返回
上一篇
|
下一篇
|
同主题上篇
|
同主题下篇
主题:Re: 中国历史上最著名的科学家是谁,基本上没人知道吧
hotpear
|
2022-07-15 21:39:30
|
哥德尔不是判了公理系统的死刑,哥德尔只是说公理系统不能穷尽真理,说明公理系统不是万能的而已。
【 在 zszqzzzf 的大作中提到: 】
: 早在100年前,哥德尔就已经一次性永远地判处了逻辑体系的死刑。
: 任何一个形式系统,只要包括了简单的初等数论描述,而且是自洽的,它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。
: 这都不知道,谈什么逻辑体系?
: ...................
--
FROM 222.240.137.*
上一篇
|
下一篇
|
同主题上篇
|
同主题下篇
选择讨论区
首页
|
分区
|
热推
BYR-Team
©
2010.
KBS Dev-Team
©
2011
登录完整版
水木安卓官方客户端