Godel不完备性定理的非形式化论述

研究了对现代数理逻辑与形式系统公理化方法有着深远影响及重大意义的Godel不完备性定理 1和定理 2 ,给出了 Godel不完备性定理证明的一种非形式化论述 .非形式化地阐述了 Godel不完备性定理证明的基本思想 ,论述了

以哥德尔不完全性定理认识偶数哥德巴赫猜想

哥德尔不完全性定理第一次破天荒地分清了数学中"真"与"可证"是两个完全不同的概念,揭示了形式化方法不可避免的局限性。对于偶数哥德巴赫猜想这一未决的数学难题,可以跳出形式化方法的局限性,以一种新的思维去认识它。