更多文章
更多精彩文章
希尔伯特计划的陈述
这个计划的主要目标,是为全部的数学提供一个安全的理论基础。具体地,这个基础应该包括:
所有数学的形式化。意思是,所有数学应该用一种统一的严格形式化的语言,并且按照一套严格的规则来使用。
完备性。我们必须证明以下命题:在形式化之后,数学里所有的真命题都可以被证明(根据上述规则)。
相容性。我们必须证明:运用这一套形式化和它的规则,不可能推导出矛盾。
保守性。我们需要证明:如果某个关于“实际物”的结论用到了“假想物”(如不可数集合)来证明,那么不用“假想物”的话我们依然可以证明同样的结论。
确定性。应该有一个算法,来确定每一个形式化的命题是真命题还是假命题。
参见
希尔伯特第二问题
哥德尔不完备定理
免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。
{{item.time}} {{item.replyListShow ? '收起' : '展开'}}评论 {{curReplyId == item.id ? '取消回复' : '回复'}}