哥德尔不完全性定理im3ibw7k.ppt

对每个公式按以下方式配以一个正整数： [例] ?z（z，? x = y ） 7 23 13 23 11 9 17 8 19 14 这个公式对应的正整数为： 27?323?513?723?1111?139?1717?198?2319?2914 按上述方式，每个算术形式系统中的公式，都唯一确定地对应着一个正整数，这样的正整数称为该公式的哥德尔数。 按以下方式，给每个证明配以哥德尔数： 证明是一有穷公式序列A1，A2，…，An 设A1的哥德尔数为m1， A2的哥德尔数为m2， … An的哥德尔数为mn， 则上述证明的哥德尔数为： 2m1?3m2?…?hmn ，其中，h为第n个素数。 这样，每个证明唯一确定地对应着一个哥德尔数。 公式的哥德尔数与证明的哥德尔数都具有以下的形式： 2a1?3a2?…?han ，其中，h为第n个素数 但二者是不会发生混淆的。因为任意一个初始符号自身都不能构成公式，因此，初始符号对应的正整数不可能是任一公式的哥德尔数。 我们达到了以下的结果： 在算术形式系统H中： 任一初始符号都唯一确定地对应着一个正整数； 任一公式都有唯一的哥德尔数，不同的公式有不同的哥德尔数； 任一证明都有唯一的哥德尔数，不同的证明有不同的哥德尔数； 任给一个公式或证明，我们都可以计算出它的哥德尔数； 任给一个正整数，我们都可计算出它是否为哥德尔数；如果是的话，并能计算出它是哪个公式或证明的哥德尔数。 元数学的算术化 如何在算术形式系统中用对象语言构造元数学命题？ 以下的讨论不严格区分自然数和它在形式系统中的表达，例如，自然数6在系统中表达为0，，，，，，，这二者是有区别的。另外，以下的讨论假设表达元数学谓词的算术谓词在算术形式系统中都可表达。事实上，这需要经过复杂的证明。 由于算术形式系统的每一公式和证明都配以一个哥德尔数，因而有关公式或证明的元数学命题都可变为这些哥德尔数之间关系的算术命题，也就是说：关于系统的断定可以成为系统内的断定，元数学的谓词可以成为算术谓词。 例如： “D是一条公理”，这是一个元数学命题。 如何用对象语言表达它，使它成为系统内的一个算术公式呢？ 算术系统H共有14条公理。设它们的哥德尔数分别为：a1，a2，…，a14，并令d表示公式D的哥德尔数。则元数学命题 “D是一条公理”可表示为： d=a1 ? d=a2 ? … ? d=a14 （1） 公式（1）恰恰是用对象语言表达的系统内的算术公式，但它表达的又恰恰是 “D是一条公理”这样的元数学内容！ 也就是说，表示“D是一条公理”的元数学谓词AX（D）可记为算术谓词Ax（d）， Ax（d）定义为： Ax（d）= d=a1 ? d=a2 ? … ? d=a14 再考虑元数学命题： “公式序列Y是公式A的一个证明”。 设Y的哥德尔数是c，A的哥德尔数是a，则元数学命题 “公式序列Y是公式A的一个证明”可表示为： c= 2b1?3b2?…?hbn ? bn = a （其中，h为第n个素数，n和b1，…，bn的值均由c确定） 也可简写为： c= 2b1?3b2?…?ha （2） 公式（2）恰恰是用对象语言表达的系统内的算术公式，但它表达的又恰恰是 “公式序列Y是公式A的一个证明”这样的元数学内容！ 类似地，表示“公式序列Y是公式A的一个证明”的元数学谓词F（Y，A）也可记为相应的算术谓词U（c，a）。 一般地，算术谓词U（x，y）表示，哥德尔数字为x的公式序列是哥德尔数为y的公式的证明。 这样，对任意公式A，如果它的哥德尔数是a，则 “ 公式A在系统内不可证”这个元数学命题就可表达为以下的算术公式，这样的公式在系统内可表达： ?x?U（x，a） 现在，我们已经能成功地在算术系统内构造一个元数学命题：“公式A在系统内不可证”。 我们的目标是构造不可判定性命题，即在系统内构造一个公式A，它的含义正是：“公式A在系统内不可证”，也就是说，它的含义正是断定自身在系统内不可证。 哥德尔最终达到了这个目标。这里，哥德尔进一步显示了他伟大的天才！ 算术系统中的代入函数 S（u，v）