请输入您要查询的百科知识:

 

词条 塔尔斯基,A.
释义 taersiji
塔尔斯基,A.(卷名:数学)
Alfred Tarski (1902~1983)
  波兰数学家,逻辑学家,华沙逻辑学派的主要代表人物。1902年1月 14日生于华沙。1983年逝世。在华沙大学数学系学习时曾师事J.武卡谢维奇,1924年毕业于华沙大学,获博士学位。1926年任华沙大学讲师。1939年移居美国。从1942年起在伯克利加州大学任教。1946年起任数学教授。曾为《符号逻辑学报》主持编务。
  塔尔斯基的研究工作涉及一般代数、测度论、集论、数理逻辑和数学基础以及元数学等领域,其中尤以对逻辑语义学的研究引人注目。
  塔尔斯基认为逻辑学很早就已成为一门独立的学科。但只是在现代,逻辑学才得到极大的发展和完全的改造,其学科性质类似于数学,而以这一形式出现的逻辑学,就被称为数理逻辑或符号逻辑。
  塔尔斯基指出:语义学悖论的成因在于自然语言的含糊性。起先,B.A.W.罗素为了要排除语义学悖论,曾有意将类型论扩展为分展语言论。塔尔斯基沿此发展和形成了理论语义学,开展了关于对象语言和元语言的研究方向。
  塔尔斯基的主要著作有《初等代数和几何的判定法》(1948)、《逻辑、语义学、元数学》(1923~1938,1956)等。
随便看

 

百科全书收录78206条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2024/7/3 0:15:29