出处：按学科分类—历史、地理 湖北人民出版社《二十世纪外国社会科学家辞典》第1020页（230字）
【生卒】：1902—
美国逻辑学家、数学家。
出生于波兰，1939年移居美国前在华沙大学任教。1942－1968年在美国伯克利加利福尼亚大学任教。主要研究数理逻辑的分支数理哲学，对逻辑学的最大贡献是提出了能更严格地研究规范化科学语言的语义学方法。
由于自由运用集合论的小前提，故被认为是唯名论者。
着有《一种用于初等代数和几何的判定方法》(1948，1957修订版)、《不可判定的理论》(1953，1968再版)等。