【摘 要】
：
毗连运算是语法系统中最基本和最简单的运算。Tarski,Quine和Hermes等著名数理逻辑学者都曾对它作过非常有意义的讨论。但是他们的讨论都是非形式的,本文首先建立了关于毗连
【基金项目】
：
The Project by National Natural Science Foundation of China.
论文部分内容阅读
毗连运算是语法系统中最基本和最简单的运算。Tarski,Quine和Hermes等著名数理逻辑学者都曾对它作过非常有意义的讨论。但是他们的讨论都是非形式的,本文首先建立了关于毗连的初等形式系统C,并通过对C的展开,在C中形式地建立了Peano算术模型。最后,作为C的一个扩张,建立了Quine原语法的形式系统PS_0,同时证明宁PS_0可以嵌入到Peano算术中去。这样在可嵌入的意义下,毗连初等系统,Peano算术和原语法系统是等价的。这也证实了Church关于Quine原语法系统的猜想。
其他文献
民政民政,为民之政。民政是直接为人民服务的,是做好人民群众尤其是特殊困难群众兜底保障的重要制度安排,是促进基层社会治理创新的重要手段,是我们党赢得民心、夯实执政基础
ＧｌｏｂａｌＥｘｉｓｔｅｎｃｅｏｆＰｏｓｉｔｉｖｅＳｏｌｕｔｉｏｎｓｆｏｒＶｏｌｔｅｒｒａＩｎｔｅｇｒａｌＥｑｕａｔｉｏｎｓＷａｎｇＳｈｕ（王术）；ＷａｎＣｈｕｎｌｉｎ（万春林）；ＺｈａｎｇＫｕｎ（张锟）（ＨｅｍａｎＵｎｉｖｅｒｓｉｔｙ，Ｋａｉｆｅｎ...
紧扣新教材特点培养学生学习英语的兴趣祁炜红初中英语新教材加强了听、说、读、写的全面训练，突出强调培养学生为交际初步运用英语的能力，在内容、形式及教法上，新教材安排合理
新媒体不仅给人们获取信息带来了便捷,而且对大学生的意识形态、价值观念、道德观念有重要影响。新媒体在给高校思想政治教育工作带来难得机遇的同时,也使高校思想政治教育工
ＴｈｅＦｉｎｉｔｅＤｅｔｅｒｍｉｎａｔｉｏｎａｎｄＵｎｉｖｅｒｓａｌＵｎｆｏｌｄｉｎｇｏｆＢｉｆｕｒｃａｔｉｏｎＰｒｏｂｌｅｍｓＺｏｕＪｉａｎｃｈｅｎｇ（邹建成）（ＩｎｓｔｉｔｕｔｅｏｆＭａｔｈｅｍａｔｉｃｓ，ＡｃａｄｅｍｉａＳｉｎｉｃａ，Ｂｅｉｊｉ...
近年来,湖北省民政厅深入贯彻落实国务院'两个意见',主动作为,开创新,狠抓孤儿保障制度改革、农村留守儿童关爱服务、困境儿童分类保障等儿童福利工作的落实落地,为
设G是阶为n的简单图，若G中没有两个等长圈且具有最大可能的边数，则称G为简单MCD图。本文通过引进路分解概念给出了两个关于图中圈数的结果并应用它们证明了下述定理：若G是简单MC
In this paper,we introduce concepts of stabiliser subsets of a set and congruent pairs,and generalize and discuss Oehmkes' problems.Specially,we have got re
依托美国大学与研究图书馆协会等机构对美国高校图书馆战略规划的评估报告,分析美国高校图书馆战略规划主题,并从优先级序列分析中获得规划要点。结果显示,在美国高校图书馆