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

康托尔悖论 (6-5)

元语言具有对象语言所没有的原始概念、公理及规则,使得某些定理在对象语言中不可证明,在元语言中却可证明。

一般认为不可定义定理是由塔斯基给出的。

尽管哥德尔在1930年证明不完备定理的期间也发现了不可定义定理,远早于塔斯基的发表,但是哥德尔并未发表自己有关不可定义性的发现,仅在1931年致约翰·冯·诺伊曼的信中提到它。

塔斯基在1929至1931年间完成了他大部分的论文成果,并向波兰的听众演说。

这篇论文就是1936年发表的《形式化语言中的真理概念》(DerWahrheitsbegriff in den formalisiertenSprachen)。

然而,正如他在论文中所强调的,不可定义定理was the only result notobtained by him earlier.根据论文中不可定义定理的注解(Satz I),这个定理及其证明的草稿是在送印前才加进论文中的。

他在1931年3月21日向波兰科学院(Warsaw Academy of Science)进行论文演说时,仅写下一些猜想,而没有提到他基于自己的研究与哥德尔的简报所完成的《元数学的完备性与相容性的一些结果》(Einigemetamathematische Resultate überEntscheidungsdefinitheit undWiderspruchsfreiheit)。

定理的内容

我们在这个小节会给出塔斯基定理的简易版,接着在下个小节才会论及塔斯基在1936年的完整证明。

令L为一阶算术语言,令N为L的标准结构。这样,(L,N)就是“一阶算术直译语言”。

L中的每个句子x都有各自的哥德尔数g(x)。

令T为L中基于N为真的句子的集合,而T*为T中的句子的哥德尔数的集合。

现在的问题是:一阶算术的句子可否定义出T*?

塔斯基不可定义定理的回答是:没有任何L中基于N为真的式子定义出T*,亦即,没有任何L中基于N为真的式子使得对任何L中的式子A,有g(A)为真若且为若A为真。

简单来说,这个定理告诉我们:我们不可透过任何形式算术本身的表达能力定义出这种形式算术中的真理概念。

这指出了自指范围的主要限制。

我们不可定义出extension为T的基于N为真的式子,不过我们仍可透过表达能力超越L的元语言来达到这点。

例如:二阶算术可定义出一阶算术的真谓词。

可是元语言只可定义出对象语言中的句子的真谓词。

我们必须以更高阶的元语言(即元语言的元语言)来定义元语言的真谓词,这样的定义方式是永无止尽的。

这个定理算是波斯特定理(Post'stheorem)在算术阶层中的引理。

这个定理是继塔斯基不可定义定理发表数年后完成的。

在波斯特定理的基础下,我们可透过归谬法给出塔斯基定理的语义证明如下: 假设T*是算术上可定义的,那么,我们可透过自然数n将T*定义在算术阶层的第阶。

然而,对任何k,T*都是。

这样,算术阶层就在第n阶崩溃,违反波斯特定理。

探讨

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

千痕万年 连载中
千痕万年
迷雾森林
万年之间,我以你永恒相见,岁月沧桑不必打破我们之间的关系,我能不养你,我养你,我们是双方的礼物,是双方永恒,如果我成了神能得到你,那我就宁愿......
1.5万字9个月前
羊羊影视厅 连载中
羊羊影视厅
燃宝儿好困
主要是发一些图片,大家尽情期待吧(作者是一位六年级的小学生有可能会,因为学习耽误更新,请你们谅解)
2.0万字9个月前
平安京之祭荼蘼 连载中
平安京之祭荼蘼
晴明沙罗
[本故事纯属虚构,和真实历史无关]你知道咒是什么吗?咒是一种缘分,素年未央,就像上天冥冥之中注定的夜舞荧辉,化作他生命中的万丈旭日,照亮了他......
20.7万字9个月前
三生三世颜翮劫 连载中
三生三世颜翮劫
浮生琐
八荒六合唯一的女战神,这个名号,我其实并不喜欢。多年前——我曾站在云巅上……对着玉盘,向着远方,双手合十:“愿来生的我们,不再有恨。”也许,......
14.0万字9个月前
三生菩提,三世成劫 连载中
三生菩提,三世成劫
玖玥绾芊辰
本文是三生三世菩提劫同人文,以写墨绾为主,东凤为铺,夜浅为客串。本文不定时更新,但会勤更。三生三世菩提劫是唐七三生三世系列之一,和三生三世步......
1.4万字9个月前
都市之灵界大门别乱开 连载中
都市之灵界大门别乱开
子叶
[已签约](双男主❤️)嗯?废弃篮球场中间有个奇怪的门,打开之后竟然让我发现了这座城市的惊天大秘密!
9.8万字9个月前