複製鏈接
請複製以下鏈接發送給好友

莫斯托夫斯基

鎖定
莫斯托夫斯基 [1]  (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)等.
參考資料
  • 1.    數學辭海第六卷