华罗庚、哥德尔与塔尔斯基

    1874年，哥德巴赫与欧拉提出“哥德巴赫”猜想，由于时代久远，完全不涉及算术公理化及其系统的无矛盾性问题。

实际上，华罗庚是中国最早从事哥德巴赫猜想的数学家。  1936～1938年，他赴英留学，师从数论专家哈代Hardy,1877 1947

1950年，华罗庚从美国回国，在中科院数学研究所组织数论研究讨论班，选择哥德巴赫猜想作为讨论的主题。参加讨论班的学生，例如王元、潘承洞和陈景润等在哥德巴赫猜想的证明上取得

好的成绩，代表了当时中国数学研究的大方向。

然而，很不幸的是，中国哥德巴赫猜想研究偏离了当时国际数学研究的主流方向。哥德尔、塔尔斯基向着算术公理化及其无矛盾性的现代数学基础研究方向“狂奔而去”也。呜呼！

对此，我们有何感想？

袁萌  陈启清  1月20日