论哥德尔语句的维特根斯坦疑难——未提及自身的算术命题何以谈论自身?

On Wittgenstein's Puzzle about Gdel Sentence——Why Does the Arithmetical Sentence Which Does Not Mention Itself Assert Something about Itself?

维特根斯坦就哥德尔语句G提出了如下疑难,这个并未提及自身的算术命题何以竟会谈论自身?借助特定元数学关系的计算机可判定性及其特征函数的算术可定义性进行深入分析,即可得出以下结论:G非但没有提及自身,甚至也没有谈论自身,而只不过是涉及了自身——是G的推论在谈论G。

Wittgenstein set a puzzle about Gdel Sentence G： why does the arithmetical sentence which does not mention itself assert something about itself？The problem can be solved by deep analysis based on computer-decidability of some meta-mathematical relationships and arithmetical definability of their characteristic functions.In fact,Gdel Sentence G does not mention itself nor assert something about itself.It merely involves itself.It is the deduction to derive from G that asserts something about G.