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

Understanding Goldbach's Conjecture Through Imperfection Theorem

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

Godel＇s imperfection theorem firstly distinguish the two definitions-- ＂true＂ and ＂can be proved＂, showing the inevitable limitation of formal methods. For the difficult problem, Goldbaeh＇s conjecture, other informal methods and concepts can be used to appreciate it.