塔爾斯基學派簡介

塔爾斯基學派簡介

塔爾斯基本人廣泛涉獵抽象代數、拓撲學、幾何學、測度論、數理邏輯、集論和分析哲學等領域，專精於數學結結構模型論、元數學、代數邏輯，其研究**彙編共計

2,500

頁面，專著數本。

塔爾斯基共有

24名博士生（女性

5名），多為數學家與計算機街學家，是塔爾斯基學派的成員。

特別值得提及的是，塔爾斯基的得力門生

j.keisler

是其模型論研究的**人，是非標準無窮小微積分教材的作者。

1936

年，塔爾斯基從模型論角度出發，給出了最簡約的實數公理化系統，我國中學生孩子們都能讀懂。塔爾斯基的學術思想將會漂洋過海來到中國，扎根中國。袁萌2

月8日

塔爾斯基學派代表作 模型論（教科書）

上世紀中期，在美國加州大學，塔爾斯基主持世界著名的模型論研討班，培養了大批高階數學人才，形成了塔爾斯基學派。c.c.chang 張晨鐘，1927 2014 與j.keisler 1936 師從塔爾斯基，是兩位數學天才。1966年，兩人開始合作,把該研討班的主要成果匯聚成書。他們分工協作,1973年成...

華羅庚 哥德爾與塔爾斯基

1874年，哥德 與尤拉提出 哥德 猜想，由於時代久遠，完全不涉及算術公理化及其系統的無矛盾性問題。實際上，華羅庚是中國最早從事哥德 猜想的數學家。1936 1938年，他赴英留學，師從數論專家哈代研究數論，並開始研究哥德 猜想，驗證了對於幾乎所有的偶數猜想。1950年，華羅庚從美國回國，在中科院數...

塔爾斯基真理的語義理論

真理的語義理論斷言 對某個命題是真的的任何斷言，可以只作為形式上的需要而做出來，不管表達命題自身用了什麼語言。1933年，塔爾斯基首創 真理 的語義概念 原創 塔爾斯基在 on the concept oftruth in formal languages 中嘗試公式化一種新的真理的理論來解決說謊者...