哥德尔编码
分类：中国百科191字
哥德尔为证明他的不完全性定理而创立的一种算术化方法。他把形式系统的每一元素与自然数建立一一对应：1.任给形式系统的一元素，可在有限步内算出它所对应的自然数;2.任给一自然数可在有限步内确定系统有没有元素与它对应，如果有的话，可在有限步内确定这个元素。这样确定的自然数称为形式系统元素的哥德尔编码。利用哥德尔编码将形式系统的元数学命题转化为数论命题的方法称为元数学的算术化 ...... （共191字） [阅读本文]>>
上一篇
推荐内容
中国百科逻辑方阵
刻划对当关系的逻辑图形。参见“对当关系”。
27字 74
中国百科模态方阵
传统逻辑中刻划4种基本模态判断之间真假关系的逻辑图形：其中诸关系的定义同对当关系。
47字 35
中国百科三段论的格
由中项在前提中的位置不同而形成的三段论的不同形式。三段论有四个格：第一格，中项分别是大、小前提的主项和谓项;第二格，中项分别是大、小前提的谓项;第三格，中项分别是大、小前提的主项;第四格，中项分别是大、
147字 60
中国百科德·摩根律
英国逻辑学家德·摩根提出的一对逻辑定理。如，“并非价廉物美”等值于“价不廉或者物不美”。如，“并非价廉或物美”等值于“价不廉并且物不美”。这两个公式是对偶式。
92字 64
中国百科布尔代数
又称“逻辑代数”。设B是一个至少有两个元素的集合，其中定义了两种运算：+(加法)，*(乘法)，B中元素对于这两种运算，如果满足以下公理：对任意x、y、z∈B，(ⅰ)：x+y=y+x，x*y=y*x;(ⅱ
244字 96