楼主: michaelyang122
1004 1

[学习笔记] 【学习笔记】读书---复杂 希尔伯特世纪之交数学的十大问题 1. 数学是不是完 ... [推广有奖]

  • 5关注
  • 4粉丝

讲师

5%

还不是VIP/贵宾

-

威望
0
论坛币
1173 个
通用积分
146.5802
学术水平
0 点
热心指数
0 点
信用等级
0 点
经验
3190 点
帖子
288
精华
0
在线时间
136 小时
注册时间
2014-3-24
最后登录
2023-10-10

楼主
michaelyang122 发表于 2019-8-20 00:37:12 来自手机 |AI写论文

+2 论坛币
k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群
赵安豆老师微信:zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

感谢您参与论坛问题回答

经管之家送您两个论坛币!

+2 论坛币
读书---复杂

希尔伯特世纪之交数学的十大问题

1. 数学是不是完备的?也就是说,是不是所有数学命题都可以用一组有限的公理证明或证否。

2. 数学是不是一致的?换句话说,是不是可以证明的都是真命题?

3. 是不是所有命题都是数学可判定的?也就是说,是不是对所有命题都有明确程序(definite procedure)可以在有限时间内告诉我们命题是真是假?

前面三个命题的答案都是否

意思是数学不可能完备的,又是一致的,比如对于命题:这个命题是之后假命题,不能证明,第一个不满足,证明了第二个不满足。

第三个也是否,过程需要设计计算机的理论
二维码

扫码加我 拉你入群

请注明:姓名-公司-职位

以便审核进群资格,未注明则拒绝


已有 1 人评分论坛币 收起 理由
经管之家编辑部 + 40 精彩帖子

总评分: 论坛币 + 40   查看全部评分

沙发
经管之家编辑部 在职认证  发表于 2019-8-20 06:36:48
学习笔记奖!

您需要登录后才可以回帖 登录 | 我要注册

本版微信群
扫码
拉您进交流群
GMT+8, 2026-3-29 20:36