檢視阿爾鴻雷德·塔斯基的原始碼

'''阿爾鴻雷德 ・ 塔斯基'''（英語：Alfred Tarski，一九空一年一月十四—一九八三年十月二六）是一名波蘭裔美國邏輯學家和數學家。塔斯基一九三九年搬來美國，一直攏教佇加利福尼亞大學伯克利分校。伊是華沙學派成員，廣泛涉獵抽象代數、拓撲學、幾何學、測度論、數理邏輯、集論佮分析哲學等等的領域，專精於模型論、元數學、代數邏輯。

邏輯學家將塔斯基的成就佮亞里斯多德、ua雷格、伯特蘭 ・ 羅素佮哥德爾相比並並論。伊的傳記作者安妮塔佮所羅門 ・ 費夫曼寫道：「 塔斯基佮同時代的兄弟德爾做伙改變矣邏輯學佇二十世紀的面目，尤其是通過伊對真值概念佮模型論的研究。」

==生平==

塔斯基生佇沙地猶若波蘭華沙一个冗剩的牽手家庭，原名'''阿爾鴻雷德 ・ 泰特爾鮑姆'''（Alfred Teitelbaum）。 有人臆伊的聰慧繼承自母親羅莎 ・ 普拉薩（Rosa Prussak）。 伊的數學才會當上早佇華沙的私立高中馬佐夫舍學校（_ Szkoła Mazowiecka _）得著加強。毋過一九一八年進入華沙大學的時塔斯基本底想欲讀生物學。

一九一九年波蘭對沙俄的統治之下獨立了後，華沙大學咧揚 ・ 武卡謝維奇、斯坦尼斯瓦夫 ・ 萊斯學夫斯基（Stanisław Leśniewski）佮瓦茨瓦夫 ・ 謝爾賓斯基的領導下快速成做世界領先的邏輯學、數學基礎佮數學哲學研究機構。萊斯學夫斯基在一改偶然的機會中結識了塔斯基並且發現了伊的天才，因此說服伊為數學放棄生物學。此後塔斯基修習了武卡謝維奇、謝爾賓斯基、Stefan Mazurkiewicz 和 Tadeusz Kotarbiński 教授的課程，並成做唯一一位會當對萊斯揣翁婿樹基手下畢業的博士。啊若塔斯基佮萊斯學夫斯基的關係足緊的變甲冷淡。佇咧私底下萊斯學夫斯基有時用一寡反猶太主義的詞來形容塔斯基。毋過塔斯基一直熱情呵咾 Kotarbiński。

一九二三年阿爾馮雷德 ・ 泰特爾鮑姆佮伊的兄弟瓦茨瓦夫（Wacław）發明矣「塔斯基」（Tarski）這个聽起來更加波蘭化、閣較容易拼寫佮發音的新氏，並改姓「塔斯基」（真濟年後塔斯基竟然佇美國北加利福尼亞州拄著一位佮伊仝名仝姓的人）。 塔斯基兄弟仔猶閣改信波蘭人的主流宗教—— 羅馬天主教，就算講阿爾揣雷德彼當陣聲稱家己是無神論者。阿爾鴻雷德捌去伊面臨畢業，啊若一位閣太人真僫佇咧新的波蘭高校系統中謀取一份正式的頭路。彼時塔斯基擁有波蘭籍而且共家己視作土生的波蘭人。就算移居美國了後，塔斯基猶原佇厝裡講波蘭語。

一九二九年塔斯基佮一位教師同事 Maria Witkowska 結婚。Maria Witkowska 是一位塗生的波蘭人、天主教徒後代，佇波蘭獨立戰爭中曾經為軍隊做郵遞員。𪜶育有一子一女，後生揚 ・ 塔斯基後來成做是一个物理學家，查某囝嫁和數學家 Andrzej Ehrenfeucht。

成做彼當陣華沙大學歷史上上少年的博士畢業了後，塔斯基佇波蘭師範學院教授邏輯學、佇華沙大學教授數學佮邏輯學，閣做武卡謝維奇的助手。因為這三份工課的薪水薄薄仔，塔斯基猶閣佇華沙的一間高中當數學教師。第二次世界大戰前的歐洲，這種佇咧高中教冊的研究人才比並攏是。所以自一九二三年到一九三九年離開歐洲進前，塔斯基一爿通過佇高中教冊養厝顧腹肚，一爿編寫若是干教材和真濟論文，其中有一寡取得突破性的成就。塔斯基捌申請利沃夫大學的哲學教職，毋過這个職位予阿伯特蘭 ・ 羅素推薦的 Leon Chwistek 取得。一九三七年塔斯基申請波茲南大學的職位；毋過波茲南大學寧可廢棄此職位嘛無願倩一位猶太人的後裔。

一九三空年二月塔斯基受卡爾 ・ 門格爾的邀請訪問維也納大學做三擺的演講，同齊結識了庫爾特 ・ 哥德爾。就因為一項研究經費鬥幫贊，塔斯基一九三五年頂半年再一次訪問維也納佮門格爾的研究小組做伙工課。伊對維也納出發訪問了巴黎，佇維也納學派發起的科學統一運動第一改會議上講解了伊的真值概念。哈佛大學因此邀請伊去美國參加一九三九年秋天的科學統一大會，也間接地對納粹手下救了塔斯基一命。塔斯基一九三九年八月離開波蘭所乘的正正是德國發動波蘭戰役進前駛往美國的最後一隻船。彼當陣萊斯學夫斯基已經過身並留下一个教職空欠，塔斯基所致講的人生豬不決。伊並無清楚意識著納粹的威脅，早干焦離開的時陣留某囝佇波蘭，無想著講一九四六年才會團圓。二戰期間，塔斯基家族的多數成員攏被納粹殺害。

到美國了後，塔斯基先後擔任一寡臨時的教學佮研究職位，包括講：一九三九年佇哈佛大學、一九四空年伊佇紐約市立學院，以及一九四二年受古漢姆基金資助佇咧普林斯頓高等研究院並且佮哥德爾重逢於此。一九四二年塔斯基獲加州大學伯克利分校聘用，伊一直佇伯克利工課至退休。一九四五年塔斯基加入美國籍。一九六八年塔斯基對伯克利退休，毋過伊堅持授課至一九七三年，並一直指導博士生一直無去。佇伯克利，塔斯基予人公認是一位嚴厲的教師：


: _ 塔斯基佇伯克利的討論版真緊變成邏輯學的發電站。伊的多數學生這馬攏已經成做傑出的數學家，佇𪜶的記持中塔斯基運用伊可怕的精神奸巧地引導𪜶做出上好的工課，並總是要求上懸的標準的清楚度佮精確。" _ Times _ obituary . _ _ _


:「塔斯基性格外向、思維敏捷、意志堅強、工夫充足來講辭尖銳。伊佮意合作研究—— 有當時仔佮某位同事透暝工作—— 而且對做代誌的輕重緩急非常交繃。」（Gregory Moore , " Alfred Tarski " in _ Dictionary of Scientific Biography _）。


: " 塔斯基是一位有魅力的領導佮教師，伊的思維十分嚴密來講解的時陣煞講欲止。塔斯基用可怕的高標準要求學生，毋過有時陣嘛誠鼓勵，特別是對女性。有的學生予伊驚走，但是有的學生仔留落來，其中誠濟成做相關領域世界知名的數學領袖。"

塔斯基一共指導過二十四名博士，其中五个女性，並且深刻影響著 Alfred Lindenbaum、Dana Scott 和 Steven Givant 的博士論文。伊的學生包括：Andrzej Mostowski、Julia Robinson、Robert Vaught、Solomon Feferman、理察 ・ 蒙塔古、J . Donald Monk、Donald Pigozzi、Roger Maddux，佮模型論經典教材的作者張晨鐘（Chen-Chung Chang）和 Jerome Keisler。塔斯基先了後佇這个所在講過課：倫敦大學學院（一千九百五十 , 一千九百六十六）， 巴黎亨利 ・ 龐加萊研究院（一千九百五十五）， 伯克利米勒基礎科學研究院（一千九百五十八堵一千九百六十）， 加州大學洛杉磯分校（一千九百六十七）以及智利天主教大學（一千九百七十四抹七十五）。 塔斯基是美國國家科學院佮英國科學院院士，並且一千九百四十四-一九四六年、一千九百五十六-一九五七年先後擔任符號邏輯學會和國際科學史和科學哲學聯盟主席。

==做工課==

===數學貢獻===

佇數理邏輯學家中塔斯基的數學興趣特別廣泛。伊的論文集長達到兩千五百頁，多數論文是關於邏輯以外的數學分支。

塔斯基十九歲的時陣發表第一篇論文，內容集合論。一九二四年伊和斯特凡 ・ 巴攑赫合作證明一个球面會當予人切開甲散赤了後鬥做一个閣較大的球面，抑是原來球面仝款大細的兩个球面。這馬人叫巴攑赫-塔斯基徛論。

佇咧《初等代數佮幾何的一个判定方法》一文中，塔斯基運用量詞消去法證明只有加法佮乘法的實數一階理論是會用得判定的。（雖然塔斯基遲到一九四八年才發表這結論，毋過伊早佇一九三空年就完成證明並佇一九三一年的一篇論文中講著。）這結論之所以趣味，佇阿隆佐 ・ 邱奇佇一九三六年證明了一階邏輯內底的真命題是袂當判定的。一九五三年塔斯基佮伊的合作者做伙佇咧《不可判定理論》一冊著證明了真濟數學公理系統（包括講：格論、射影幾何、內部的代數、群論）是不可判定的。

一九四一年，塔斯基發表了一篇關於著二箍關係的重要論文，開啟了伊對關係代數佮其元數學的研究。就算講塔斯基進一步的研究佮羅傑 ・ 林登（Roger Lyndon）的相關的工課揭示了關係代數的一寡重要局限性，伊嘛證明關係代數會當表達多數集合論公理佮皮亞是毋是算講公理。一九四空年代尾，塔斯基佮伊的學生阮發展著圓柱代數，其佮一階邏輯的重要性就親像二箍布爾代數仝款對命題邏輯。

===邏輯===

===形式語言的真值===

==參考文獻==

==參見==

==外部連結==

* 斯坦福哲學百科全書：
* 塔斯基真值定義
* 塔斯基
* 阿爾鴻雷德 ・ 塔斯基咧數學譜系計畫的資料。

[[分類: 待校正]]