网站首页 词典首页
【生卒】：1902—
美国逻辑学家、数学家。
出生于波兰，1939年移居美国前在华沙大学任教。1942－1968年在美国伯克利加利福尼亚大学任教。主要研究数理逻辑的分支数理哲学，对逻辑学的最大贡献是提出了能更严格地研究规范化科学语言的语义学方法。
由于自由运用集合论的小前提，故被认为是唯名论者。
著有《一种用于初等代数和几何的判定方法》(1948，1957修订版)、《不可判定的理论》(1953，1968再版)等。
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。