莫斯托夫斯基

莫斯托夫斯基的个人简介

莫斯托夫斯基(Mostowski , Andrzej , 1913-1975)波兰数学家.生于利沃夫，在加拿大讲学时因突发病卒于温哥华.1931-1936年，就学于华沙大学，1936年、1937年，先后到维也纳大学、苏黎世联邦工业大学学习，并获硕士学位;1938年，获华沙大学博士学位，后在气象研究所任职。

基本内容

人物生平

德国纳粹占领期间，他曾在工厂工作.1942-1944年，为地下华沙大学授课;1945年，在克拉科夫任教.1946年，回华沙大学任教，1947年任副教授，1951年起任教授.1956年，被选为波兰科学院通讯院士，1963年成为院士.1973年，还被选为芬兰科学院院士.

莫斯托夫斯基主要研究数理逻辑、基础数学等.1939年，他在排列模型方面得到了重要结果.经他和斯派克的工作把排列模型改进成了FMS方法，与外模型法结合，可构成对称模型法.第二次世界大战期间，他独立于克林(Kleene , S. C.)导出了算术分层概念(工作到1947年才得以发表). 1948年，他给出了量词的代数解释;1949年，给出的收缩引理是集合论中基本的元数学结果之一1956年，他与人合作创造了构造模型的方法，该方法在模型论与基础数学的其他部分都有很多应用.他还与其他几位数学家一起开始了对算术的。模型的研究，为二阶算术的R模型的研究做出了基础性贡献.他曾于1953年和1966年两次获国家奖，1972年还获得朱济柯夫斯基基础奖.著作有《形式化算术中语句不可判定》(1952).《可构成集及应用》(1969)等.