加载中…
个人资料
北大袁萌
北大袁萌 新浪个人认证
  • 博客等级:
  • 博客积分:0
  • 博客访问:30,679
  • 关注人气:10,635
  • 获赠金笔:0支
  • 赠出金笔:0支
  • 荣誉徽章:
正文 字体大小:

哥德尔的主要贡献

(2020-06-29 10:46:08)
相容语句集合必有模型:哥德尔完全性定理。
如果每一个有限语句集合的子集合有模型,则该语句聚合存在模型:紧致性定理。
哥德尔完全与性定理与紧·致性定理相互等价。
这是哥德尔的主要数学贡献之一。
袁萌 陈启清 6月29日

0

阅读 收藏 喜欢 打印举报/Report
  

新浪BLOG意见反馈留言板 欢迎批评指正

新浪简介 | About Sina | 广告服务 | 联系我们 | 招聘信息 | 网站律师 | SINA English | 产品答疑

新浪公司 版权所有