# Boole's New Proof of Gödel's Incompleteness Theorem

### Review of Gödel's Proof

Hofstadter 的旷世神书 GEB 里包括了证明的第一与第三点的通俗有趣描述.

### Boolo's Proof

Boolo 也在试图用形式符号表达函数, 他表达出了一个函数 : 数 可被长为 的公式所 "named (表示)".

(看到这里有没有觉得很眼熟..)

### Remarks

Gödel 的第三步是巧妙的利用对角线法代换, 而 Boolos 并未使用对角线法. 他在它的那篇论文最后一段简洁地比较了两种方法的异同:

Both our proof and the standard one make use of Gödel numbering. Moreover, the unprovable truth in our proof and in the standard one can both be seen as obtained by the substitution of a name for a number in a certain crucial formula . There is, however, an important distinction between the two proofs. In the usual proof, the number whose name is substituted is the code for the formula into which it is substituted; in ours it is the unique number of which the formula is true.

In view of this distinction, it seems justified to say that our proof, unlike the usual one, does not involve diagonalization.

### References

Boolos 的论文: "A new proof of the Gödel Incompleteness Theorem"(1989), Notices of the American Mathematical Society 36: 388–90; 676.