您好、欢迎来到现金彩票网!
当前位置:ag视讯 > 哥德尔配数 >

哥德尔配数

发布时间:2019-07-22 16:34 来源:未知 编辑:admin

  声明:百科词条人人可编辑,词条创建和修改均免费,绝不存在官方及代理商付费代编,请勿上当受骗。详情

  Gedeer Peishu 哥德尔配数使用素数幂 的乘积来表示自然数的任意有限序列xo,x1,…,xn 的所有方案。表示本身称为序列x。,xl,…,x,的 哥德尔数,通常记为(x。,x,,…,x。)。

  的唯一的自然数的函数。这个概念是哥德尔为证明他的哥德尔不完备定理而引入的。

  可计算函数集合的编号有时叫做哥德尔编号或有效编号。哥德尔编号可以被解释为一个编程语言,带有指派哥德尔数到每个可计算函数作为在这种编程语言中计算这个函数的值的程序。Roger 等价定理特征化了是哥德尔编号的可计算函数集合的编号。

  哥德尔使用基于素数因数分解的哥德尔编码系统。他首先把唯一的自然数指派到在他所处理的算术的形式语言中的每个基本符号。

  依据算术基本定理,用这种方式获得的任何数都可以唯一的因数分解到素因子,所以可以有效的从其哥德尔数恢复最初的序列。

  哥德尔特别的在两个级别使用这个方案: 首先编码表示公式的序列,其次编码表示证明的序列。这允许他证明在关于自然数的命题和关于自然数的定理的可证明性的命题之间的对应,这个证明的关键观察。

  个基本符号以某种固定顺序摆放,那么每个方程式就会产生唯一对应的哥德尔数。但是如果将

  还有,哥德尔编号蕴涵了形式系统的每个推论规则都可以被表达为自然数的函数。如果

  接着,因为这个形式系统是形式算术的,它能做关于数和它们相互的算术联系的陈述,可以得出这个系统也可以通过哥德尔编号的方式,间接的做关于自身的陈述: 就是说,形式系统的一个命题可以做出断言,在从哥德尔映射的角度查看的时候,能转换成关于同一个形式系统的其他命题,甚至是自身的断言。所以,通过这种方式一个形式算术可以做关于自身的断言,而成为自引用的,就像二阶逻辑。这提供给哥德尔(和其他逻辑学家)一种探索和发现关于形式系统的一致性和完备性性质的一种方法

  哥德尔数是参照命题演算和形式算术的符号而构造的.每个符号都被指派了一个自然数:

  算术陈述/语句被参照素数系列指派唯一的哥德尔配数。这基于一种简单的编码,它在本质上理解为

  ,因为{2, 3, 5, 7, 11, ...} 是素数系列,而 2, 16, 12, 6, 16, 7 是有关的字符代码。这是个巨大但完全确定的数(00)。

  注意通过算术基本定理,这个天文数字可以被分解到唯一的素数因数中;所以转换哥德尔数回它的字符序列是可能的。

  如果我们将此表的非指派为二,所有指派为一,这样可以建立另一种哥德尔编码,但是每个字符序列的哥德尔数仍旧是唯一的

  Gödel, Kurt, über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatsheft für Math. und Physik 38, 1931, S.173-198.

  陈慕泽. 自我相关命题、说谎者悖论和哥德尔不完全性定理[J]. 中国人民大学学报,1994,(02):23-25.

http://bed-plans.net/gedeerpeishu/685.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有