阿尔弗雷德·塔斯基

{{Infobox scientist
| name = 阿尔弗雷德·塔斯基
Alfred Tarski
| image = AlfredTarski1968.jpeg
| caption = 攝於1968年
| birth_name = Alfred Teitelbaum
| birth_date =
| birth_place = 波蘭會議王國華沙
| death_date =
| death_place = 美國加利福尼亞州柏克萊
| nationality = 波蘭
美國
| alma_mater = 華沙大學（PhD，1924）
| known_for = 關於現代邏輯基礎的工作
真理的語義理論（T-模式）
塔斯基不可定義定理
模型論的發展
關係邏輯
巴拿赫-塔斯基悖論
塔爾基式宇宙

理察·蒙塔古

| notable_students =
| influences = 查爾斯·桑德斯·皮爾士
揚·盧卡西維茨
| influenced = 肯尼斯·阿羅
魯道夫·卡爾納普

唐納德·戴維森
埃里希·莱曼
卡爾·波普爾
威拉德·范奧曼·奎因;}-

}}
阿尔弗雷德·塔斯基（，）是一名波兰裔美国逻辑学家和数学家。塔斯基1939年移居美国，一直任教于加利福尼亚大学伯克利分校。他是华沙学派成员，广泛涉猎抽象代数、拓扑学、几何学、测度论、数理逻辑、集论和分析哲学等领域，专精于模型论、元数学、代数逻辑。

逻辑学家们将塔斯基的成就与亚里士多德、弗雷格、伯特兰·罗素和哥德尔相提并论。他的传记作者安妮塔和所罗门·费夫曼写道：“塔斯基和同时代的哥德尔一起改变了逻辑学在20世纪的面目，尤其是通过他对真值概念和模型论的研究。”

生平
塔斯基生于沙俄統治時期波蘭華沙一个宽裕的犹太家庭，原名阿尔弗雷德·泰特尔鲍姆（Alfred Teitelbaum）。有人猜测他的聪慧继承自母亲罗莎·普拉萨（Rosa Prussak）。他的数学才能最初在华沙的私立高中马佐夫舍学校（Szkoła Mazowiecka）得到加强。然而1918年进入华沙大学时塔斯基原本想读生物学。

1919年波兰从沙俄的统治下独立之后，华沙大学在扬·武卡谢维奇、和瓦茨瓦夫·谢尔宾斯基的领导下迅速成为世界领先的逻辑学、数学基础和数学哲学研究机构。莱斯涅夫斯基在一次偶然的机会中结识了塔斯基并发现了他的天才，因此说服他为数学放弃生物学。此后塔斯基修习了武卡谢维奇、谢尔宾斯基、和塔德乌什·柯塔宾斯基教授的课程，并成为唯一一位能够从莱斯涅夫斯基手下毕业的博士。然而塔斯基和莱斯涅夫斯基的关系很快变得冷淡。在私底下莱斯涅夫斯基有时用一些反犹太主义的词来形容塔斯基。不过塔斯基一直热情称赞Kotarbiński。

1923年阿尔弗雷德·泰特尔鲍姆和他的兄弟瓦茨瓦夫（Wacław）发明了“塔斯基”（Tarski）这个听起来更加波兰化、更容易拼写和发音的新姓氏，并改姓“塔斯基”（许多年后塔斯基竟然在美国北加利福尼亚州遇见一位和他同名同姓的人）。塔斯基兄弟俩还改信波兰人的主流宗教——罗马天主教，尽管阿尔弗雷德当时声称自己是无神论者。阿尔弗雷德认识到他面临毕业，而一位犹太人很难在新的波兰高校系统中谋取一份正式的工作。当时塔斯基拥有波兰籍并且将自己视作土生的波兰人。即便移居美国之后，塔斯基依然在家里讲波兰语。

1929年塔斯基和一位教师同事Maria Witkowska结婚。Maria Witkowska是一位土生的波兰人、天主教徒后代，在波兰独立战争中曾经为军队当邮递员。他们育有一子一女，儿子扬·塔斯基后来成为一位物理学家，女儿嫁与数学家。

作为当时华沙大学历史上最年轻的博士毕业后，塔斯基在波兰师范学院教授逻辑学、在华沙大学教授数学和逻辑学，并当武卡谢维奇的助手。由于这三份工作的薪水微薄，塔斯基还在华沙的一间高中当数学教师。第二次世界大战前的欧洲，这种在高中教书的研究人才比比皆是。因此自1923年到1939年离开欧洲之前，塔斯基一边通过在高中教书养家糊口，一边撰写了若干教材和很多论文，其中有些取得了突破性的成就。塔斯基曾经申请利沃夫大学的哲学教职，然而这个职位被伯特兰·罗素推荐的取得。1937年塔斯基申请波兹南亚当·密茨凯维奇大学的职位；然而波兹南大学宁可废弃此职位也不愿雇佣一位犹太人的后裔。

塔斯基一共指导过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年代末，塔斯基和他的学生们发展了圆柱代数，其相对于一阶逻辑的重要性就如同二元布尔代数相对于命题逻辑。

逻辑
形式语言的真值
参考文献
参见
*巴拿赫-塔斯基悖论
*模型论
*T-约定
*塔斯基公理
*实数的塔斯基公理化
*华沙学派
*塔斯基分割圆问题

外部链接
*斯坦福哲学百科全书：
**[http://plato.stanford.edu/entries/tarski-truth/ 塔斯基真值定义]
**[http://plato.stanford.edu/entries/tarski/ 塔斯基]
*

评论 (0)