這十幾年科技走錯方向，造成經濟泡沫、財政困難、戰爭失敗。
至少從尤先科、季莫申科開始，烏克蘭是美國的忠實追隨者，所以烏克蘭的現狀是美國的失敗。從烏克蘭，到黎巴嫩，到伊拉克，本來是海洋係國家在歐亞非大陸核心區域的重要支撐點。海洋係國家如果不想被邊緣化，需要這樣的網絡支撐點。
以後還會有尤先科、季莫申科那樣的人嗎？拋棄烏克蘭，緊緊依靠林毅夫尖刀連、易先生、矽穀呂不韋？還是好好研究邏輯、經濟、智力科學吧？十幾年前Demis Hassabis就想研究夢和智力，但至今沒找到好的切入點，他的神經學導師幫不了他吧？所以需要新邏輯和新科學。
為什麽Nvidia芯片救不了烏克蘭以及AI泡沫，我不說了，看別人怎麽說下去。Demis Hassabis是UK的，能救嗎？這也是考驗他能不能接近superhuman和a meta-solution to any problem以及他能不能正確使用語言智力和語言邏輯的關鍵。讀完《戰爭與和平》，再讀《日瓦戈醫生》，能看出什麽樣的邏輯演變？
回到邏輯和智力科學研究。科學跟數學有本質不同，科學邏輯和數學邏輯也有本質不同。把Mathematical Logic譯成數理邏輯會加深之間的混淆和誤導，因為理包括科學。
上次提到的問題針對此類混淆和誤導：
古典邏輯和哲學邏輯的重要奠基人亞裏斯多德，建立了生物分類法。分類也是人工智能研究的重要問題。下列分類問題隱含了什麽邏輯原理：
拉瓦錫的元素表中有光和熱，但沒有電。後來的元素周期表中沒有光和電。研究兩朵烏雲後出現的量子力學標準模型中才有光子和電子。而熱是能量的一種表現形式，不是元素或粒子。
現在有第二個問題：為什麽波義耳-馬略特定律是第一條科學定律，而早得多的阿基米德浮力原理不是第一條？這個問題有兩個答案：一個是淺顯的曆史學答案；另一個是邏輯答案，涉及較重要的邏輯原理。
第三個問題是：Euclid's Elements（中譯《幾何原本》）中的element在邏輯上意味著什麽，postulate和common notion又意味著什麽？Hilbertprogramm（希爾伯特計劃）和形式主義數學有沒有破壞了歐幾裏得邏輯體係中有價值的部分？
丘成桐教授犯了低級錯誤，居然說計算機的發展印證了畢達哥拉斯萬物皆數的看法。他對歐幾裏得幾何體係的評論說明他雖然精通某些數學領域，但並不懂數學邏輯，也不懂歐幾裏得邏輯體係。
看看你和你的老師知道多少？
學術界常常錯誤混用數學邏輯（Mathematical Logic）和哲學邏輯（Philosophical Logic）這兩個名詞。
現有各種邏輯體係，包括古典邏輯，隻能反映某種哲學，所以都隻是哲學邏輯，不是數學邏輯，因為無法表達數學的基礎和本質特征。
需要研究邏輯主義、直覺主義、形式主義三大數學學派的本質區別和缺陷，並作修正。用邏輯研究邏輯、用測量研究測量會造成比哥德爾語句更重要、更廣適的問題。
需要重新定義數學邏輯和科學邏輯，以正確區分哲學邏輯、數學邏輯、科學邏輯的本質不同。
計算機語言模型無法處理這些複雜的邏輯問題，所以很容易作錯誤判斷。現有的測試方法不對。
