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

威廉·阿克曼

(德國數學家)

鎖定
威廉·阿克曼(Wilhelm Ackermann),德國數學家,最著名的成果是計算理論的重要例子阿克曼函數以及跟大衞·希爾伯特合寫《理論邏輯原理》(Grundzuge der Theoretischen Logik)。他又寫了Solvable cases of the decision problem (North Holland, 1954)。
中文名
威廉·阿克曼
外文名
Wilhelm Ackermann
別    名
阿克曼
國    籍
德國
出生日期
1896年3月29日
逝世日期
1962年12月24日
職    業
數學家
出生地
德國
代表作品
理論邏輯原理
性    別

威廉·阿克曼主要作品

1928年他跟大衞·希爾伯特合寫《理論邏輯原理》(Grundzuge der Theoretischen Logik)。他又寫了Solvable cases of the decision problem (North Holland, 1954)。

威廉·阿克曼人物生平

他死於德國,終年66歲。 [1] 
參考資料
  • 1.    (美)歐內斯特·內格爾(Ernest Nagel),(美)詹姆斯·R.紐曼(James R. Newman)著,哥德爾證明,中國輕工業出版社,2021.03,第141頁