阿尔弗雷德·塔斯基的历史评价

Question

如题所述

Answer 1

阿尔弗雷德·塔斯基是二十世纪最伟大的逻辑学家之一 。在到美国之前就取得了重要成就。最著名的是巴拿赫塔斯基难题。塔斯基早期另一成就是用实数算术语言写下句子的决定程序。这些句子可用整数范围的变量、运算符号加和乘、等于和序号及非、和、或、蕴含和存在符号写出。塔斯基生成了一种能决定这种句子是否为真的算法。
对于哲学家来说，塔斯基最大的成就是他对真理概念的猛烈抨击。他能在适合条件下精确定义某种语言句子为真。条件是该语言完全是形式化的并且具有明确的语法。其中生成真理定义的语言一般要与那种句子的真值要经证明的语言分开。哥德尔提出一种语言可做为它自己的元语言。但在这种情况下，塔斯基能证明他关于真理不可定义性的著名定理：在一般情况下，一种语言的句子的“真值”的概念无法在同一语言中进行定义。
塔斯基生活不羁。做为教师对学生严格，他的24名学生成就卓著。他使加州大学贝克莱分校校方相信逻辑的重要性从而得到足够的资源使贝克莱数学系成为了世界逻辑中心。