-
莫斯托夫斯基
鎖定
- 中文名
- 莫斯托夫斯基
- 外文名
- 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)等.
- 詞條統計
-
- 瀏覽次數:次
- 編輯次數:5次歷史版本
- 最近更新: 蔡文姬本姬