通信人家园

标题: An Open Letter to Global Mathematicians on Godel's Theorems [查看完整版帖子] [打印本页]

时间: 2023-6-3 05:22

作者: 杨学志 标题: An Open Letter to Global Mathematicians on Godel's Theorems

Dear colleagues,

I would like to declare that the famous Godel's incompleteness theorems with a 92 years history are wrong based on the following observations.

The equation (8.1) in [1] with the item "subst(y,19,number(y))" has a logical error in it.

Here, Godel supposes there is a formula with a free variable y, and also, he names the Godel number of this very formula as "y", which means he uses one symbol "y" for two different meanings, and formula y has been talking about itself from the first place, since Eq. (8.1) is actually the starting point of Godel's arguments.

If we allow one symbol has two different meanings, we can construct a liar-paradox in one step, just name the statement "Formula G is false" as G.

This error invalidates Godel's whole arguments.

[1] K. Go ̈del, “Uber formal unentscheidbare sa ̈tze der principia mathematica und verwandter Systeme I,” Monatshefte Fu ̈r Mathematik, vol. 38, no. 1, pp. 173–198, 1931. English Translation "On Formally Undecidable Propositions of Principia Mathematica and Related Systems" by Marin Hirzel, Nov. 27, 2000.

Sincerely Yours

Xuezhi Yang with ID 110108197007188995

IEEE Senior Member

Beijing, China

yangxuezhi@hotmail.com

附件: eq81.png (2023-6-3 05:22, 53 KB) / 下载次数 0
https://www.txrjy.com/forum.php?mod=attachment&aid=NTgwOTkyfDg3MjY2YjE1fDE3MzIzMDMxNTJ8MHww

时间: 2023-6-3 19:26

作者: 阿斗通

谢分享

通信人家园 (https://www.txrjy.com/)