2023年，哥德**與尤拉提出「哥德**」猜想，由於時代久遠，完全不涉及算術公理化及其系統的無矛盾性問題。
實際上，華羅庚是中國最早從事哥德**猜想的數學家。? 1936～2023年，他赴英留學，師從數論專家哈代研究數論，並開始研究哥德**猜想，驗證了對於幾乎所有的偶數猜想。
2023年，華羅庚從美國回國，在中科院數學研究所組織數論研究討論班，選擇哥德**猜想作為討論的主題。參加討論班的學生，例如王元、潘承洞和陳景潤等在哥德**猜想的證明上取得
好的成績，代表了當時中國數學研究的大方向。
然而，很不幸的是，中國哥德**猜想研究偏離了當時國際數學研究的主流方向。哥德爾、塔爾斯基向著算術公理化及其無矛盾性的基礎研究「狂奔而去」。嗚呼！
對此，我們有何感想？
袁萌? 陳啟清? 1月20日
關於哥德爾證明
幾何學在公理化方法下得到了很好的發展，所謂公理方法就是我給出一些不用證明就能得知正確的命題，並在這些命題推理出定理得方法。幾何學憑藉著這個方法得到了完善的發展。於是數學家認為，每乙個數學分支都應存在這樣的一組公理，從這組公理出發可以得到在此領域無窮無盡的命題。哥德爾的 證明了這個假設是站不住腳的。內...
停機問題 哥德爾定理
今天讀 哥德爾 艾舍爾 geb 集異璧之大成 看到 自指 的論述，突然想起以前學自動機理論時的 停機問題 該問題上課前看書就看明白了，考試完了又忘了，後來又想起來看過一次，現在又忘了 可見，我是不懂裝懂。我之前其實沒搞明白 怎麼這麼乙個程式h2，當作 輸入p給另乙個h2後，它的存在性還受到另乙個它的...
塔爾斯基學派簡介
塔爾斯基學派簡介 塔爾斯基本人廣泛涉獵抽象代數 拓撲學 幾何學 測度論 數理邏輯 集論和分析哲學等領域，專精於數學結結構模型論 元數學 代數邏輯，其研究 彙編共計 2,500 頁面，專著數本。塔爾斯基共有 24名博士生 女性 5名 多為數學家與計算機街學家，是塔爾斯基學派的成員。特別值得提及的是，塔...