歌德尔不完全定理.docVIP

歌德尔不完全定理 定理：如果形式算术系统是简单无矛盾的，那么它就是简单不完全的；这就是说，在系统中存在具有形式(Ψx)Ax的公式(或称命题)B，使得B和┐B都不是系统的定理，这样的B称为不可判定的命题。 §1.歌德尔定理的直观说明 ??歌德尔从说谎者悖论(我正在说的这句话是假的)得到启发，领悟到“真实性”与“可证性”是两种不同的概念。歌德尔巧妙地用“可证性”代替“真实性”，把形式算术系统中的可证性表达在该系统中，避免了悖论，得到不完全性结论。 不完全性定理的直观证明：设形式算术系统是简单完全的，即命题B或┐B 是可证的。若B可证，则它所表达的元数学命题“B在系统中不是可证的”就是真的，这就是说B不是可证的，与题设矛盾。如果┐B 是可证的，则“并非‘B在系统中不是可证的’”这一命题真，即B是可证的，这与题设“┐B 是可证的”相矛盾。由上可得：系统不是简单无矛盾的。所以，如果形式算术系统是简单无矛盾的，那么它就是简单不完全的。B就是一个不可判定命题，即B与┐B 都不可证。由于B确实不可证，因而“B在系统中不是可证的”这一元数学命题就是真的，在系统中表达它的命题B也就是真的。因此，在系统中存在真的但又不可证的命题。 (以下红色字符表示公式，绿色字符表示歌德尔数，兰色字符表示自由变项，粉红色字符表示与歌德尔数相应的数字) §2.歌德尔配数法 把自然数1~14依次配给如下符号：?、→、∧、∨ 、┐、Ψ、Э、=、+、· 、’、0、(、)。对每一个不同的自然数变项配以大于14的不同素数。因此，我们在初始符号和自然数的一个子集之间建立了一一对应的关系。 规定：自然数的有穷序列k1,k2,…,kn,对应于单个的自然数：2k1·3k2·5k3·…Pnkn,这里Pi是第i个素数(按数量大小的顺序排列)。 一个公式是符号的有穷序列，对每个公式配以一个数，该数对应于配给其构成公式的符号的自然数序列。例如公式 (ЭC)(C’+a=b)中，该公式的歌德尔数为： 213·37·523·714·1113·1323·1711·199·2317·298·3119·3714 因构成该公式的12个初始符号对应的歌德尔数是： ( Э C?) ( C??’ + a = b ) 13 7 23 14 13 23 11 9 17 8 19 14 一个证明是公式的有穷序列，对每一个证明配以一数，它对应于配给其构成证明的公式的自然数序列。例如，以下两个公式的序列：(Эa)(a=b’)，(Эa)(a=0’)，构成一个证明，设已求出第一式的歌德尔数为m，第二式的歌德尔数为n，则该证明的歌德尔数为：2m·3n。 由此，在公式和自然数的一个子集之间，证明和自然数的一个子集之间建立了一一对应的关系。这样，我们就为形式算术系统建立了一种完全算术化的方法，使系统中的初始符号、公式和证明同自然数的子集之间建立起一一对应的关系。 §3.歌德尔不完全性定理的证明 在歌德尔原来的证明中，需要引用ω无矛盾性的概念。 一个形式系统是ω无矛盾的，如果有一个公式F使得： F(Z0)，F(Z1)，F(Z2)，…; ┐(ΨΔ)F(Δ)并非全都可证。否则，F(Z0)，F(Z1)，F(Z2)，…; ┐(ΨΔ)F(Δ)全都可证，系统就是ω矛盾的。显然，ω无矛盾性蕴涵简单无矛盾性。 严格陈述的歌德尔不完全性定理：如果形式算术系统是简单无矛盾的，则U(Zm)不是可证的；如果系统是ω无矛盾的，则┐U(Zm)不是可证的。因此，如果系统是ω无矛盾的，则它就是不完全的，U(Zm)就是一个不可判定的命题。 §4.U(Zm)的形式构造 设公式(Эa)(a=b’)的歌德尔数为m，而自由变项b有歌德尔数为19。在公式中，以m的相应的数字Zm替代b，得公式 (Эa)(a= Zm )；该公式亦有一个歌德尔数，它是从歌德尔数为m的公式中，以m的数字Zm 替代歌德尔数为19的自由变项所得公式的歌德尔数。这就唯一地确定了一个数，该数是m和19的一个算式函数。假定原公式为A，包含自由变项b，所得公式记为SubSt[AZmb],该公式的歌德尔数记为Sb(mm19),简记为Sb(m,m)。函数Sb(m,m)称之为“代入函数”。该函数是能行可计算的，即它是一个递归函数。 一般的，用Sb(x,y)表示代入函数，它是在歌德尔数为x的公式(含自由变项Δ)中，以y的数字Zm代替自由变项Δ所得的公式的歌德尔数。如果原公式无自由变项，则代入的结果等于不代入，即Sb(x,y)=x。由于Sb(x,y)是递归函数，因而在系统中是数字可表示的，令表示Sb(x,y)的形式函数表达式是S (Δ1，Δ2)。 Pf(y,a)[相应于元数学谓词“Y是公式A的一个证明”]是递归谓词，因而在形式算