哥德尔不完备定理（解释二） (3-3)

这里面，引号中的那一段字符串，其实就是一种直观的命题和它的哥德尔数之间变换的类比：在形式语言中，我们根据逻辑规则运算的是各种各样的字符串，它可以是作为逻辑表达的字符串，也可以是作为“编码”的字符串。

参考

1. GDEL llected works:vol.V[C]. FEFERMAN S,DAWSON Jr J W,GOLDFARB W,et al.Oxford:Oxford University Press,2003.

2. R. Goldblatt, Topoi: The Categorial Analysis of Logic. Dover Publications, 2006.

3. D. R. Hofstadter, I Am a Strange Loop. Basic Books, 2007

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。