塔尔斯基，A．
【介绍】：
美籍数学家、逻辑学家、哲学家。生于波兰华沙，1924年获华沙大学博士学位，1925～1939年任华沙大学数学和逻辑学副教授。1939年访问美国时，由于战争爆发留在美国。尔后分别在哈佛大学(1939～1941)、普林斯顿高等研究所(1941～1942)、加利福尼亚大学伯克利分校(1942～1968)等处从事教学和研究工作。退休后仍在伯克利从事教学(1968～1973)。他一生从未停止过研究，1983年去世前几个星期还完成了一本集合论著作(与S．吉文特合著)。塔尔斯基的论文、著作等多数已收入4卷本的《塔尔斯基作品选集》，分别包括他1921～1934年、1935～1944年、1945～1957年、1958～1979年的论著。《符号逻辑杂志》1986年第四期刊有他全部作品的目录，包括著作、论文、摘要、书信等。塔尔斯基是伟大的逻辑学家，对模型论、集合论、元数学、代数逻辑等众多领域的形成与发展都作出了巨大的贡献。他还是一位杰出的学术带头人，在他的指导、帮助和鼓励下成长了一大批知名的逻辑学家。在逻辑领域中，塔尔斯基最先把语义学的基本思想应用于形式化语言研究，表明了所有语义概念都可以归约为一个基本概念，即公式值的概念，并且第一次精确描述了公式值的归纳定义及其他语义概念。他在这方面最重要的成果是真语句集的不可定义性定理，即在一模型M中真的语句集在M中不可定义，其中假定M的关系中包含有一定算术关系。他证明了许多可判定性结果，其中最为著名的是实闭域的判定程序。他建立这些结果所使用的方法是量词消去法，这一方法的应用对模型论以及代数理论的逻辑处理产生了深刻的影响。他提出了解释法，用此建立了许多数学理论，如整数环的初等理论、群的初等理论的不可判定性。塔尔斯基在逻辑的代数化方面也做了大量的工作，他的研究涉及布尔代数、关系代数、布劳维尔代数等。