上世紀中期，在美國加州大學，塔爾斯基主持世界著名的模型論研討班，培養了大批高階數學人才，形成了塔爾斯基學派。
c.c.chang（張晨鐘，1927-2014）與j.keisler（1936- ）師從塔爾斯基，是兩位數學天才。
2023年，兩人開始合作,把該研討班的主要成果匯聚成書。他們分工協作,2023年成書，第一次出版」模型論（教科書），此書出版三次，出版時間相距二十餘年。該書網路版被引用次數高達5457次，由此可見，其深遠影響之巨大。
實際上，無窮小微積分教科書，本質上是塔爾斯基學派的附屬作品，其學術風格與塔爾斯基學派完全一致。
我們認為，培養大批塔爾斯基學術小後代，是我國建設科技強國的客觀需要。
袁萌 陳啟清 12月18日
塔爾斯基學派簡介
塔爾斯基學派簡介 塔爾斯基本人廣泛涉獵抽象代數 拓撲學 幾何學 測度論 數理邏輯 集論和分析哲學等領域，專精於數學結結構模型論 元數學 代數邏輯，其研究 彙編共計 2,500 頁面，專著數本。塔爾斯基共有 24名博士生 女性 5名 多為數學家與計算機街學家，是塔爾斯基學派的成員。特別值得提及的是，塔...
華羅庚 哥德爾與塔爾斯基
1874年，哥德 與尤拉提出 哥德 猜想，由於時代久遠，完全不涉及算術公理化及其系統的無矛盾性問題。實際上，華羅庚是中國最早從事哥德 猜想的數學家。1936 1938年，他赴英留學，師從數論專家哈代研究數論，並開始研究哥德 猜想，驗證了對於幾乎所有的偶數猜想。1950年，華羅庚從美國回國，在中科院數...
塔爾斯基真理的語義理論
真理的語義理論斷言 對某個命題是真的的任何斷言，可以只作為形式上的需要而做出來，不管表達命題自身用了什麼語言。1933年，塔爾斯基首創 真理 的語義概念 原創 塔爾斯基在 on the concept oftruth in formal languages 中嘗試公式化一種新的真理的理論來解決說謊者...