Can you summarize the following document?
        
  塔斯基生於沙俄統治時期波蘭華沙一個寬裕的猶太家庭,原名阿爾弗雷德·泰特爾鮑姆(Alfred Teitelbaum)。有人猜測他的聰慧繼承自母親羅莎·普拉薩(Rosa Prussak)。他的數學才能最初在華沙的私立高中"Szkoła Mazowiecka"得到加強。然而1918年進入華沙大學時塔斯基原本想讀生物學。  1919年波蘭從沙俄的統治下獨立之後,華沙大學在揚·武卡謝維奇、和瓦茨瓦夫·謝爾賓斯基的領導下迅速成為世界領先的邏輯學、數學基礎和數學哲學研究機構。Leśniewski在一次偶然的機會中結識了塔斯基並發現了他的天才,因此說服他為數學放棄生物學。此後塔斯基修習了武卡謝維奇、謝爾賓斯基、和教授的課程,併成為唯一一位能夠從Leśniewski手下畢業的博士。然而塔斯基和Leśniewski的關係很快變得冷淡。在私底下Leśniewski有時用一些反猶太主義的詞來形容塔斯基。不過塔斯基一直熱情稱讚Kotarbiński。  1923年阿爾弗雷德·泰特爾鮑姆和他的兄弟瓦克洛(Wacław)發明了“塔斯基”(Tarski)這個聽起來更加波蘭化、更容易拼寫和發音的新姓氏,並改姓“塔斯基”(許多年後塔斯基竟然在美國北加利福尼亞州遇見一位和他同名同姓的人)。塔斯基兄弟倆還改信波蘭人的主流宗教——羅馬天主教,儘管阿爾弗雷德當時聲稱自己是無神論者。阿爾弗雷德認識到他面臨畢業,而一位猶太人很難在新的波蘭高校系統中謀取一份正式的工作。當時塔斯基擁有波蘭籍並且將自己視作土生的波蘭人。即便移居美國之後,塔斯基依然在家裡講波蘭語。  1929年塔斯基和一位教師同事Maria Witkowska結婚。Maria Witkowska是一位土生的波蘭人、天主教徒後代,在波蘭獨立戰爭中曾經為軍隊當郵遞員。他們育有一子一女,兒子揚·塔斯基後來成為一位物理學家,女兒嫁與數學家。  作為當時華沙大學歷史上最年輕的博士畢業後,塔斯基在波蘭師範學院教授邏輯學、在華沙大學教授數學和邏輯學,並當武卡謝維奇的助手。由於這三份工作的薪水微薄,塔斯基還在華沙的一間高中當數學教師。第二次世界大戰前的歐洲,這種在高中教書的研究人才比比皆是。因此自1923年到1939年離開歐洲之前,塔斯基一邊通過在高中教書養家餬口,一邊撰寫了若干教材和很多論文,其中有些取得了突破性的成就。塔斯基曾經申請利沃夫大學的哲學教職,然而這個職位被伯特蘭·羅素推薦的取得。1937年塔斯基申請的職位;然而波茲南大學寧可廢棄此職位也不願僱傭一位猶太人的後裔。  1930年2月塔斯基受的邀請訪問維也納大學做了三次演講,同時結識了庫爾特·哥德爾。得益於一項研究經費資助,塔斯基1935年上半年再次訪問維也納和Menger的研究小組一起工作。他從維也納出發訪問了巴黎,並在維也納學派發起的科學統一運動第一次會議上講解了他的真值概念。哈佛大學因此邀請他赴美國參加1939年秋天的科學統一大會,也間接地從納粹手下救了塔斯基一命。塔斯基1939年8月離開波蘭所乘的正是德國發動波蘭戰役之前開往美國的最後一艘船。當時Leśniewski已經逝世並留下一個教職空缺,塔斯基因此躊躇不決。他並沒有清楚意識到納粹的威脅,以至於離開時留下妻兒在波蘭,沒想到直至1946年才能團圓。二戰期間,塔斯基家族的多數成員都被納粹殺害。  到美國之後,塔斯基先後擔任一些臨時的教學和研究職位,包括:1939年在哈佛大學、1940年在紐約市立學院,以及1942年受資助在普林斯頓高等研究院並與哥德爾重逢於此。1942年塔斯基獲加州大學伯克利分校聘用,他一直在伯克利工作至退休。1945年塔斯基加入美國籍。1968年塔斯基從伯克利退休,不過他堅持授課至1973年,並一直指導博士生直至逝世。在伯克利,塔斯基被公認是一位嚴厲的教師:  塔斯基一共指導過24名博士,其中5名女性,並且深刻影響了Alfred Lindenbaum、和Steven Givant的博士論文。他的學生包括:、、、、理查德·蒙塔古、J. Donald Monk、Donald Pigozzi、Roger Maddux,以及模型論經典教材的作者 和 。塔斯基先後在這些地方講過課:倫敦大學學院(1950, 1966),巴黎(1955),伯克利米勒基礎科學研究院(1958-1960),加州大學洛杉磯分校(1967)以及(1974-75)。塔斯基是美國國家科學院和院士,並於1944-1946年、1956-1957年先後擔任和國際科學史與科學哲學聯盟主席。

  

  在數理邏輯學家中塔斯基的數學興趣特別廣泛。他的論文集長達2500頁,多數論文是關於邏輯以外的數學分支。  塔斯基19歲時發表第一篇論文,內容集合論。1924年他和斯特凡·巴拿赫合作證明了一個球面可以被切割成有窮塊後拼接成一個更大的球面,或者和原來球面一樣大小的兩個球面。現在人們稱之為巴拿赫-塔斯基悖論。  在《初等代數和幾何的一個判定方法》一文中,塔斯基運用量詞消去法證明只有加法和乘法的實數一階理論是可判定的。(雖然塔斯基遲至1948年才發表這個結論,但他早在1930年即完成證明並在1931年的一篇論文中提到。)這個結論之所以有趣,在於阿隆佐·邱奇在1936年證明了一階邏輯中的真命題是不可判定的。1953年塔斯基和他的合作者們一起在《不可判定理論》一書中證明了很多數學公理系統(包括:格論、射影幾何、內部代數、群論)是不可判定的。  1941年,塔斯基發表了一篇關於二元關係的重要論文,開啟了他對關係代數及其元數學的研究。儘管塔斯基進一步的研究以及羅傑·林登(Roger Lyndon)的相關工作揭示了關係代數的一些重要侷限性,他也證明關係代數能夠表達多數集合論公理和皮亞諾算術公理。1940年代末,塔斯基和他的學生們發展了圓柱代數,其相對於一階邏輯的重要性就如同二元布林代數相對於命題邏輯。
阿爾弗雷德·塔斯基(Alfred Tarski,1901年-1月14日-1983年-10月26日),美國籍波蘭裔猶太邏輯學家和數學家。塔斯基1939年移居美國,一直任教於加利福尼亞大學伯克利分校。華沙學派成員,廣泛涉獵抽象代數、拓撲學、幾何學、測度論、數理邏輯、集論和分析哲學等領域,專精於模型論、元數學、代數邏輯。