真理的語義理論斷言：對某個命題是真的的任何斷言，可以只作為形式上的需要而做出來，不管表達命題自身用了什麼語言。
2023年，塔爾斯基首創「真理」的語義概念（原創）。塔爾斯基在《on the concept oftruth in formal languages》中嘗試公式化一種新的真理的理論來解決說謊者悖論。在其中，他做出了很多數學發現，最著名的是塔爾斯基不可定義性定理，它類似於哥德爾不完全定理。粗略的說，該定理聲稱乙個給定語言的句子的真理概念不能在這個語言內被一致性的定義出來。
說明：塔爾斯基關於「真理」的語義理論對於數理邏輯模型論具有關鍵意義。離開這種理論，無窮小微積分就無從談起。在數學中，「真理」（truth）的語義理論這面「大旗」，我們必須舉！
袁萌 2月6日
塔爾斯基學派簡介
塔爾斯基學派簡介 塔爾斯基本人廣泛涉獵抽象代數 拓撲學 幾何學 測度論 數理邏輯 集論和分析哲學等領域，專精於數學結結構模型論 元數學 代數邏輯，其研究 彙編共計 2,500 頁面，專著數本。塔爾斯基共有 24名博士生 女性 5名 多為數學家與計算機街學家，是塔爾斯基學派的成員。特別值得提及的是，塔...
華羅庚 哥德爾與塔爾斯基
1874年，哥德 與尤拉提出 哥德 猜想，由於時代久遠，完全不涉及算術公理化及其系統的無矛盾性問題。實際上，華羅庚是中國最早從事哥德 猜想的數學家。1936 1938年，他赴英留學，師從數論專家哈代研究數論，並開始研究哥德 猜想，驗證了對於幾乎所有的偶數猜想。1950年，華羅庚從美國回國，在中科院數...
烏戈爾斯基的穆索爾斯基
聽烏戈爾斯基的 pictures at the exhibition 絕對是一種不同的感覺。是的，這種感覺是不同裡赫特的，也是不同於基辛的。烏戈爾斯基一開始就是一種悲情，一種莊嚴。穆索爾斯基的這個作品絕對是一部傑作。任何乙個人都可以有不同的詮釋。關鍵是這種詮釋的基礎是什麼？是圖畫本身？還是展覽？烏戈...