莫斯托夫斯基(Mostowski , Andrzej , 1913-1975)波蘭數學家.生於利沃夫，在加拿大講學時因突發病卒於溫哥華.1931-1936年，就學於華沙大學，1936年、1937年，先後到維也納大學、蘇黎世聯邦工業大學學習，並獲碩士學位;1938年，獲華沙大學博士學位，後在氣象研究所任職。
基本介紹
- 中文名：莫斯托夫斯基
- 外文名：Mostowski , Andrzej
- 出生日期：1913年
- 逝世日期：1975年
- 出生地：利沃夫
人物生平
德國納粹占領期間，他曾在工廠工作.1942-1944年，為地下華沙大學授課;1945年，在克拉科夫任教.1946年，回華沙大學任教，1947年任副教授，1951年起任教授.1956年，被選為波蘭科學院通訊院士，1963年成為院士.1973年，還被選為芬蘭科學院院士.
莫斯托夫斯基主要研究數理邏輯、基礎數學等.1939年，他在排列模型方面得到了重要結果.經他和斯派克的工作把排列模型改進成了FMS方法，與外模型法結合，可構成對稱模型法.第二次世界大戰期間，他獨立於克林(Kleene , S. C.)導出了算術分層概念(工作到1947年才得以發表). 1948年，他給出了量詞的代數解釋;1949年，給出的收縮引理是集合論中基本的元數學結果之一1956年，他與人合作創造了構造模型的方法，該方法在模型論與基礎數學的其他部分都有很多套用.他還與其他幾位數學家一起開始了對算術的。模型的研究，為二階算術的R模型的研究做出了基礎性貢獻.他曾於1953年和1966年兩次獲國家獎，1972年還獲得朱濟柯夫斯基基礎獎.著作有《形式化算術中語句不可判定》(1952).《可構成集及套用》(1969)等.
