视频字幕
哥德尔数是数学家库尔特·哥德尔提出的一种巧妙的编码方案。它的核心思想是将形式逻辑系统中的每个符号、每个公式，甚至每个证明序列，都对应到一个唯一的自然数。比如，我们可以将否定符号编码为1，合取符号编码为3，析取符号编码为5，蕴含符号编码为7，全称量词编码为11。通过这种编码，我们就能用数字来表示和操作逻辑符号了。
现在让我们看看如何为整个公式编码。首先，我们为每个基本符号分配一个质数。然后，对于一个公式，我们将其哥德尔数定义为：2的第一个符号次幂，乘以3的第二个符号次幂，乘以5的第三个符号次幂，以此类推。例如，对于公式全称量词x括号P括号x，我们得到2的11次幂乘以3的13次幂乘以5的17次幂乘以7的19次幂乘以11的13次幂乘以13的23次幂。这样，每个公式都有一个唯一的哥德尔数。
哥德尔数最重要的作用是实现了"语法的算术化"。这意味着我们可以将关于形式系统的语法性质，比如"某个公式是否可证"，转化为关于自然数的算术性质。例如，"公式A是定理"这个语法概念，可以表示为"存在某个自然数n，使得n是公式A的证明序列的哥德尔数"这样的算术关系。通过这种转化，我们就能在形式系统内部讨论关于系统本身的性质了。
哥德尔数的最重要应用是构造自指语句，从而证明不完备性定理。哥德尔巧妙地构造了一个语句G，它实际上在说"我不可证"。现在我们分析两种情况：如果G是可证的，那么G的内容"我不可证"就是假的，这产生了矛盾。如果G是不可证的，那么G的内容"我不可证"就是真的，但这意味着存在一个真的语句却无法被证明。因此，任何足够强的形式系统都是不完备的，即存在真但不可证的语句。
让我们总结一下哥德尔数的核心要点。首先，哥德尔数是一种巧妙的编码方法，将形式系统中的逻辑符号和公式转化为自然数。其次，它实现了语法的算术化，使得形式系统能够在内部讨论关于自身的性质。第三，通过构造自指语句，哥德尔证明了著名的不完备性定理。这个发现揭示了数学系统的根本局限性，即任何足够强的形式系统都存在真但不可证的语句。哥德尔数和不完备性定理对数理逻辑、数学基础和计算机科学都产生了深远的影响。