百科问答小站 logo
百科问答小站 font logo



说数学是「自洽」的是什么意思? 第1页

  

user avatar   nuclearcarrot 网友的相关建议: 
      

自洽应该就是 self-consistent,在不考虑别的东西的时候,说一个东西是自洽的就是说这个东西是一致的(consistent),在考虑两个公理系统的时候则有可能出现虽然两个公理系统各自自洽,但是放在一起不一致的情形。在不区分证明论和模型论视角,或者说,有完全性定理的时候,一致的和融贯的(coherent)是一回事,但是具体表述上是不同的:

  • 说一个(公理)系统是一致的,就是说对于任意一个系统中的命题,如果这个系统能够证明出,那么它就证明不出。说一个公式集合是一致的,就是说对于任意的这个公式集合不能同时推出和。
  • 说一个(公理)系统是融贯的,就是说这个系统有模型,也就是说,存在一个模型使得这个系统中的定理全部都是真的。或者说,存在一个模型使得这个系统中的公理全都是真的,而推理规则全都是保真的。说一个公式集合是一致的,就是说存在一个模型使得这个公式集合中的所有公式在这个模型中都得到满足/为真。

模型的概念在模型论里面有专门的定义,但是基本上可以做一个简单的理解,比如说三维线性空间加上标准度量是欧几里得几何公理系统的一个模型。宇宙本身加上什么作为度量是黎曼几何的一个模型。自然数是皮亚诺公理的一个模型。

另外,算术系统的一致性是不能证明的,我们只是相信它是一致的,但是也没有人会去相信算术系统是不一致的。其它东西都能还原为算术系统,毕竟我们有哥德尔编码。




  

相关话题

  牛顿莱布尼茨公式这么证可以吗?(准初二,对微积分了解不深)? 
  如何求解这几道题? 
  喜欢数学,但是脑子不好使,怎么办? 
  如何看待哔哩哔哩拜年祭中出现的莫比乌斯环,和相关的物理问题? 
  为什么研究生阶段有一大堆 EE 转 CS 的但却很少听说有 CS 转 EE 的? 
  如何看待任正非说的「发展芯片光砸钱不行,还要砸物理学家数学家」? 
  十几岁的小孩,计算能力特别弱,但是逻辑推理能力超强,梦想是成为数学家,有可能么? 
  质数在生活中有什么用? 
  如何理解矩阵的复数特征值和特征向量? 
  多项式由系数唯一决定,在中学或大学数学课上证明过吗? 

前一个讨论
在.net中,究竟应该如何优雅地结束线程?
下一个讨论
浏览器有哪些好用的功能,使用之后真的方便了生活而让你爱不释手?





© 2025-05-15 - tinynew.org. All Rights Reserved.
© 2025-05-15 - tinynew.org. 保留所有权利