数学联邦政治世界观
超小超大

组合逻辑(八)

5.1戈德尔句子

上面草图中的缩写和散布的解释可能掩盖了算术已用五个符号组成的语言(当不计算并列时):\ textsf {s},\ textsf {k} \,(\,和\,)\,。,有限(也许是令人惊讶的)符号数量以及递归函数的可用性,即可以尝试尝试对Cl语法的算法化的想法。

戈德尔通过将数字分配给符号,公式和公式的序列来实现形式语言,后来被称为“gödel数字”。具体而言,戈德尔将奇数分配给符号的符号和符号和产物(与指数中的符号相对应)。但是,可以算力CL的语言,而不必强调质数的存在和特性。 (例如,参见Raymond M. Smullyan的书:Smullyan(1985)和Smullyan(1994)。)五个符号随着他们的Gödel编号为前五个积极整数而获得的五个符号。在基本10中分配了一个字符串,该数字是由符号的相应数字串联产生的。

以下大纲给出了适合CL的Gödel不完整定理的类似物的风味。可以定义一个组合仪,以便如果将此组合器应用于数字n,则整个术语将还原为数字m,这是表示数字n的gödel数的数字。更正式地,有一个组合\ delta,使得\ delta n = g(n)(其中g(n)表示表达式n的gödel数)。此外,有一个组合项,当应用于数字n时,它将返回数字本身,然后是g(n)。对于任何术语A,都有一个项b,使得方程a(\ delta b)= b为true。该语句(或特定正式系统的具体变体)通常称为第二个固定点定理。递归数字集的可计算特征函数可以由组合者与\ textsf {k}的选择表示真实,而\ textsf {ki}对于虚假。此类功能的补充也可以计算。最后,可以证明没有组合器代表所有真实方程的集合。换句话说,任何组合者要么代表一组不包含某些真实方程式的方程式,要么代表包含所有元素但也包括一些错误方程的一组方程。

阿隆佐教堂(Alonzo Church)证明了依靠戈德尔(Gödel)的不完整定理的古典一阶逻辑的不可证明。达娜·斯科特(Dana Scott)证明,如果a是在平等下关闭的\ lambda-terms的非空置子集,则A不是递归。 cl的存在之后,对Cl的类似主张是Cl的存在,是,如果两个Cl-Term相等,则无法确定。

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

想要竹马甜甜的~ 连载中
想要竹马甜甜的~
九-儿
明明人家的时而霸道,时而温顺,可盐可甜,为什么我的竹马不一样?!在线等!急啊!!!
1.7万字6个月前
异世界奇异 连载中
异世界奇异
ANN魏盼
顾盼在异世界结实队员,然后在每次任务中提升能力,为了最后的那一个人,她为了他成功了
0.2万字5个月前
虚假的象牙塔 连载中
虚假的象牙塔
趁醉眠
“当我让他的画享誉世界时,我将取走他的生命——毕竟伟大的作品,是不可再生的,不是吗?”这是理想的象牙塔,也可以是一本充满欲望的故事书贪婪的饕......
0.3万字4个月前
春风酌酒 连载中
春风酌酒
不想更新的一天
我以春风酌酒,愿故友永宁。(禁止任何形式的抄袭,以及投喂AI等一系列的侵权操作。)
6.9万字2个月前
倚靠在时光的背后爱着你 连载中
倚靠在时光的背后爱着你
时光荏苒,初心依旧
王进不知不觉中迷恋上高帅,岁月匆匆,她究竟能不能和高帅真正走在一起呢?……
28.1万字2个月前
月绵 连载中
月绵
苍苒
麓夜绵,皇城弃女,身负神血,手持轮回笔与清心铃,却不知自己正是三界动荡的钥匙。
4.5万字4天前