第十四章 论tnt及有关系统中形式上不可判定的命题:生日大合唱哇哇哇乌阿乌阿乌阿
-
现在可以把对G的讨论简单化了。已经证明,只要你有一人足够强有力的形式数论以及它的一个哥德尔配数法,那就有一个丢番图方程等价于G。这种等价性依赖于下述事实:当我们在一个元数学的层次上作解释时,该方程断言它自己无解。反过来说就是:如果你找到了一个解,那就可以从这个解构造出该系统内的一个关于此方程无解的证明的哥德尔数!这就是乌龟在《前奏曲》中用费马方程作为他的丢番图方程所做的事情。我们高兴地得知,一旦做到了这一点,就能从空气分子中找回老巴赫演奏出的声音!还没读懂。这条书摘已被收藏0次+1