A.塔尔斯基

来自中文百科,文化平台
跳转至: 导航搜索

A.塔尔斯基(Alfred Tarski ;1902~1983),美国籍数学家逻辑学家

塔尔斯基生于波兰华沙,1924年获华沙大学数学博士学位,两年后任华沙大学讲师;1939年移居美国,1942年任伯克利加利福尼亚大学数学系讲师,1946年起任教授。主要论著有:《形式语言中的真理概念》(1935)、《真理的语义学概念和语义学的基础》(1944)、《初等代数与几何的判定方法》(1948)、《不可判定的理论》(1953)等。

在逻辑领域中,塔尔斯基最重要的贡献是在形式语言的语义研究方面,他是数理逻辑模型论分支的开创者之一。30年代初期,塔尔斯基提出并应用了语义学方法。这种方法的本质在于研究表达式与它们所指称的对象之间的关系。他应用该方法的目的在于建立一给定语言的真语句的定义。对于模型和某些有关的语义概念,早在塔尔斯基之前就已是数学家和逻辑学家所熟悉的。但是他首次给出了这些概念的精确的集合论描述,并使之成为许多元数学研究的有力工具。他在这个领域中的最重要的结果是关于真语句集不可定义性定理,即在很一般的假定下,在一模型M中真的语句集是在M中不可定义的。在判定问题的研究中,塔尔斯基的工作也有重要的结果。他证明了实数域的一阶理论是可判定的,在不可判定性方面,他的进一步工作是建立许多很弱的但数学上有意义的理论的不可判定性。为此,他引入本质不可判定的概念,认为一个理论如果它的所有协调扩张是不可判定的,该理论就是本质不可判定的。他还应用本质不可判定概念证明了有关不可判定性理论的定理,并在此基础上,获得许多有关不可判定性的结果。塔尔斯基的工作还包括在集合论、带无穷长公式的逻辑、弱二阶逻辑、直觉主义逻辑和模态逻辑等方面的建树。在逻辑教育方面,他培养了一批知名的逻辑学家。

在哲学方面,塔尔斯基没有发表专门的著作,可注意的是他对集合论中的假定的态度。他象大多数数学家一样简单地承认它们是真的,并系统地使用无穷性的集合论概念。这对他的逻辑和元数学研究有深刻的影响。自由地使用集合论构成他的语义学方法的发展基础。他的这种方法论态度与D.希尔伯特对于元数学的有穷主义和L.E.J.布劳维尔的直觉主义态度明显不同。