加载中…
http://blog.sina.com.cn/u/1317372297
首页
博文目录
关于我
个人资料
北大袁萌
微博
加好友
发纸条
写留言
加关注
博客等级:
博客积分:
0
博客访问:
30,679
关注人气:
10,635
获赠金笔:
0支
赠出金笔:
0支
荣誉徽章:
正文
字体大小:
大
中
小
哥德尔的主要贡献
(2020-06-29 10:46:08)
相容语句集合必有模型:哥德尔完全性定理。
如果每一个有限语句集合的子集合有模型,则该语句聚合存在模型:紧致性定理。
哥德尔完全与性定理与紧·致性定理相互等价。
这是哥德尔的主要数学贡献之一。
袁萌 陈启清 6月29日
分享:
喜欢
0
赠金笔
阅读
┊
收藏
┊
喜欢
▼
┊
打印
┊
举报/Report
加载中,请稍候......
前一篇:
当代数学的诞生
后一篇:
无穷小微积分吁呼中俄数学中心成立!