（Alfred Tarski，1901年1月14日－1983年10月26日）美国籍波兰裔犹太逻辑学家和数学家。塔斯基1939年移居美国，一直任教于加利福尼亚大学伯克利分校。华沙学派成员，广泛涉猎抽象代数、拓扑学、几何学、测度论、数理逻辑、集论和分析哲学等领域，专精于模型论、元数学、代数逻辑。
逻辑学家们将塔斯基的成就与亚里士多德、弗雷格、伯特兰·罗素和哥德尔相提并论。他的传记作者安妮塔和所罗门·费夫曼写道：“塔斯基和同时代的哥德尔一起改变了逻辑学在20世纪的面目，尤其是通过他对真值概念和模型论的研究。”[1]
数学贡献
在数理逻辑学家中塔斯基的数学兴趣特别广泛。他的论文集长达2500页，多数论文是关于逻辑以外的数学分支。
塔斯基19岁时发表第一篇论文，内容集合论。1924年他和斯特凡·巴拿赫合作证明了一个球面可以被切割成有穷块后拼接成一个更大的球面，或者和原来球面一样大小的两个球面。现在人们称之为巴拿赫-塔斯基悖论。
在《初等代数和几何的一个判定方法》[3] 一文中，塔斯基运用量词消去法证明只有加法和乘法的实数一阶理论是可判定的。（虽然塔斯基迟至1948年才发表这个结论，但他早在1930年即完成证明并在1931年的一篇论文[4] 中提到。）这个结论之所以有趣，在于阿隆佐·邱奇在1936年证明了一阶逻辑中的真命题是不可判定的。1953年塔斯基和他的合作者们一起在《不可判定理论》[5] 一书中证明了很多数学公理系统（包括：格论、射影几何、内部代数、群论）是不可判定的。
1941年，塔斯基发表了一篇关于二元关系的重要论文[6]，开启了他对关系代数及其元数学的研究。尽管塔斯基进一步的研究以及罗杰·林登（Roger Lyndon）的相关工作揭示了关系代数的一些重要局限性，他也证明关系代数能够表达多数集合论公理和皮亚诺算术公理[7]。1940年代末，塔斯基和他的学生们发展了圆柱代数[8] [9]，其相对于一阶逻辑的重要性就如同二元布尔代数相对于命题逻辑。
参考文献：
1. Feferman, A. B., and Solomon Feferman, 2004. Alfred Tarski: Life and Logic. Cambridge Univ. Press. Extensive bibliography.
2. Feferman, Anita Burdman, 1999. 'Alfred Tarski' in American National Biography vol. 19. Oxford Univ. Press: 330-332.
3. Tarski, 1948. A decision method for elementary algebra and geometry. Santa Monica CA: RAND Corp.
4. Tarski, 1931. 'Sur les ensembles définissables de nombres réels I,' Fundamenta Mathematica 17: 210-239.
5. Tarski, Mostowski and Robinson, 1953. Undecidable theories. North Holland.
6 . Tarski, 1941. 'On the calculus of relations,' Journal of Symbolic Logic 6: 73-89.
7 . Tarski and Givant, 1987. A Formalization of Set Theory Without Variables. Providence RI: American Mathematical Society.
8. arski, Leon Henkin and Donald Monk, 1971. Cylindric Algebras: Part I. North-Holland.
9. Tarski, Leon Henkin and Donald Monk, 1985. Cylindric Algebras: Part II. North-Holland.
（转自：
http://www.douban.com/note/327240841/ 作者不详，发帖者在豆瓣网已注销）
本站仅提供存储服务，所有内容均由用户发布，如发现有害或侵权内容，请
点击举报。
