基本介紹
- 中文名：阿爾弗雷德·塔斯基
- 外文名：Alfred Tarski
- 國籍：波蘭
- 出生地：波蘭華沙
- 出生日期：1901年1月14日
- 逝世日期：1983年10月26日
- 職業：職教於加利福尼亞大學伯克利分校
- 代表作品：巴拿赫-塔斯基悖論、模型論、T-約定、塔斯基公理
人物生平,二戰前,美國經歷,數學貢獻,歷史評價,著有作品,
人物生平
二戰前
塔斯基生於一個寬裕的波蘭裔猶太家庭，原名阿爾弗雷德·泰特堡（Alfred Teitelbaum）。有人猜測他的聰慧繼承自母親羅莎·普拉薩（Rosa Prussak）。他的數學才能最初在華沙的私立高中 Szkoła Mazowiecka 得到加強。然而1918年進入華沙大學時塔斯基原本想讀生物學。
1919年波蘭從沙俄的統治下獨立之後，華沙大學在揚·武卡謝維奇、Stanisław Leśniewski和瓦茨瓦夫·謝爾賓斯基的領導下迅速成為世界領先的邏輯學、數學基礎和數學哲學研究機構。Leśniewski 在一次偶然的機會中結識了塔斯基並發現了他的天才，因此說服他為數學放棄生物學。此後塔斯基修習了武卡謝維奇、謝爾賓斯基、Stefan Mazurkiewicz和Tadeusz Kotarbiński教授的課程，並成為唯一一位能夠從 Leśniewski 手下畢業的博士。然而塔斯基和 Leśniewski 的關係很快變得冷淡。在私底下 Leśniewski 有時用一些反猶太主義的詞來形容塔斯基。不過塔斯基一直熱情稱讚 Kotarbiński。
1923年阿爾弗雷德·泰特堡和他的兄弟瓦克洛（Wacław）發明了“塔斯基”這個聽起來更加波蘭化、更容易拼寫和發音的新姓氏，並改姓“塔斯基”（許多年後塔斯基竟然在北加州遇見一位和他同名同姓的人）。塔斯基兄弟倆還改信波蘭人的主流宗教——羅馬天主教，儘管阿爾弗雷德當時聲稱自己是無神論者。阿爾弗雷德認識到他面臨畢業，而一位猶太人很難在新的波蘭高校系統中謀取一份正式的工作。當時塔斯基擁有波蘭籍並且將自己視作土生的波蘭人。即便移居美國之後，塔斯基依然在家裡講波蘭語。
1929年塔斯基和一位教師同事 Maria Witkowska 結婚。Maria Witkowska 是一位土生的波蘭人、天主教徒後代，在波蘭獨立戰爭中曾經為軍隊當郵遞員。他們育有一子一女，兒子揚·塔斯基後來成為一位物理學家，女兒嫁與數學家 Andrzej Ehrenfeucht。
作為當時華沙大學歷史上最年輕的博士畢業後，塔斯基在波蘭師範學院教授邏輯學、在華沙大學教授數學和邏輯學，並當武卡謝維奇的助手。由於這三份工作的薪水微薄，塔斯基還在華沙的一間高中當數學教師。第二次世界大戰前的歐洲，這種在高中教書的研究人才比比皆是。因此自1923年到1939年離開歐洲之前，塔斯基一邊通過在高中教書養家餬口，一邊撰寫了若干教材和很多論文，其中有些取得了突破性的成就。塔斯基曾經申請利沃夫大學的哲學教職，然而這個職位被伯特蘭·羅素推薦的Leon Chwistek取得。1937年塔斯基申請波茲南大學的職位；然而波茲南大學寧可廢棄此職位也不願僱傭一位猶太人的後裔。
1930年2月塔斯基受 Karl Menger 的邀請訪問維也納大學做了三次演講，同時結識了庫爾特·哥德爾。得益於一項研究經費資助，塔斯基1935年上半年再次訪問維也納和 Menger 的研究小組一起工作。他從維也納出發訪問了巴黎，並在維也納學派發起的科學統一運動第一次會議上講解了他的真值概念。哈佛大學因此邀請他赴美國參加1939年秋天的科學統一大會，也間接地從納粹手下救了塔斯基一命。塔斯基1939年8月離開波蘭所乘的正是德國發動波蘭戰役之前開往美國的最後一艘船。當時 Leśniewski 已經逝世並留下一個教職空缺，塔斯基因此躊躇不決。他並沒有清楚意識到納粹的威脅，以至於離開時留下妻兒在波蘭，沒想到直至1946年才能團圓。二戰期間，塔斯基家族的多數成員都被納粹殺害。
美國經歷
到美國之後，塔斯基先後擔任一些臨時的教學和研究職位，包括：1939年在哈佛大學、1940年在紐約市立學院，以及1942年受古根漢姆基金資助在普林斯頓高等研究院並與哥德爾重逢於此。1942年塔斯基獲加州大學伯克利分校聘用，他一直在伯克利工作至退休。1945年塔斯基加入美國籍。1968年塔斯基從伯克利退休，不過他堅持授課至1973年，並一直指導博士生直至逝世。在伯克利，塔斯基被公認是一位嚴厲的教師：
塔斯基在伯克利的討論版很快變成邏輯學的發電站。他的多數學生現在都已成為傑出的數學家，在他們的記憶中塔斯基運用他可怕的精力狡猾地引導他們做出最好的工作，並總是要求最高標準的清晰和精確。" Times obituary. "塔斯基性格外向、思維敏捷、意志堅強、精力充沛而言辭尖銳。他喜歡合作研究——有時和某位同事徹夜工作——and was very fastidious about priority." (Gregory Moore, "Alfred Tarski" in Dictionary of Scientific Biography). "塔斯基是一位有魅力的領導和教師，他的思維十分嚴密而講解時卻欲言又止。塔斯基用可怕的高標準要求學生，但有時也善於鼓勵，特別是對女性。有些學生被他嚇跑，但有些學生留下來，其中很多成為相關領域世界知名的數學領袖。" 塔斯基一共指導過24名博士，其中5名女性，並且深刻影響了 Alfred Lindenbaum、Dana Scott 和 Steven Givant 的博士論文. 他的學生包括：Andrzej Mostowski、Julia Robinson、Robert Vaught、 Solomon Feferman、Richard Montague、J. Donald Monk、Donald Pigozzi、Roger Maddux，以及模型論經典教材的作者 Chen-Chun Chang 和 Jerome Keisler。塔斯基先後在這些地方講過課：倫敦大學學院 (1950, 1966), 巴黎亨利·龐加萊研究院 (1955), 伯克利米勒基礎科學研究院 (1958-1960)，加州大學洛杉磯分校 (1967) 以及 智利天主教大學 (1974-75)。塔斯基是美國國家科學院和英國科學院院士，並於1944-1946年、1956-1957年先後擔任符號邏輯學會和國際科學史與科學哲學聯盟主席。
數學貢獻
在數理邏輯學家中塔斯基的數學興趣特別廣泛。他的論文集長達2500頁，多數論文是關於邏輯以外的數學分支。
1941年，塔斯基發表了一篇關於二元關係的重要論文，開啟了他對關係代數及其元數學的研究。儘管塔斯基進一步的研究以及羅傑·林登（Roger Lyndon）的相關工作揭示了關係代數的一些重要局限性，他也證明關係代數能夠表達多數集合論公理和皮亞諾算術公理。1940年代末，塔斯基和他的學生們發展了圓柱代數，其相對於一階邏輯的重要性就如同二元布爾代數相對於命題邏輯。
歷史評價
阿爾弗雷德·塔斯基是二十世紀最偉大的邏輯學家之一。在到美國之前就取得了重要成就。最著名的是巴拿赫塔斯基難題。塔斯基早期另一成就是用實數算術語言寫下句子的決定程式。這些句子可用整數範圍的變數、運算符號加和乘、等於和序號及非、和、或、蘊含和存在符號寫出。塔斯基生成了一種能決定這種句子是否為真的算法。
對於哲學家來說，塔斯基最大的成就是他對真理概念的猛烈抨擊。他能在適合條件下精確定義某種語言句子為真。條件是該語言完全是形式化的並且具有明確的語法。其中生成真理定義的語言一般要與那種句子的真值要經證明的語言分開。哥德爾提出一種語言可做為它自己的元語言。但在這種情況下，塔斯基能證明他關於真理不可定義性的著名定理：在一般情況下，一種語言的句子的“真值”的概念無法在同一語言中進行定義。
塔斯基生活不羈。做為教師對學生嚴格，他的24名學生成就卓著。他使加州大學貝克萊分校校方相信邏輯的重要性從而得到足夠的資源使貝克萊數學系成為了世界邏輯中心。
著有作品
T-約定
塔斯基公理
實數的塔斯基公理化
