主要作品
1928年他跟大衛·希爾伯特合寫《理論邏輯原理》(Grundzuge der Theoretischen Logik)。他又寫了Solvable cases of the decision problem (North Holland, 1954)。
人物生平
他死於德國,終年66歲。
威廉·阿克曼(Wilhelm Ackermann),德國數學家,最著名的成果是計算理論的重要例子阿克曼函式以及跟大衛·希爾伯特合寫《理論邏輯原理》(Grundzuge der Theoretischen Logik)。他又寫了Solvable cases of the decision problem (North Holland, 1954)。
1928年他跟大衛·希爾伯特合寫《理論邏輯原理》(Grundzuge der Theoretischen Logik)。他又寫了Solvable cases of the decision problem (North Holland, 1954)。
他死於德國,終年66歲。
阿賈克斯·阿姆斯特丹足球俱樂部(Amsterdamsche Football Club Ajax,簡稱Ajax),創立於1900年,是一支位於荷蘭阿姆斯...
發展歷程 簡明歷史 周年巡禮 所獲榮譽 2018年陣容威廉二世(德語:Wilhelm II von Deutschland;1859年1月27日-1941年6月4日),原名弗里德里希·威廉·維克多·阿爾伯特...
人物生平 黃禍論 瑣事 婚姻家庭 紀念物威廉·莎士比亞(William Shakespeare,1564年4月23日 --- 1616年4月23日 ),文藝復興時期英國傑出的思想家、作家、戲劇...
簡介 生平 活動年譜 莎翁作品 作品風格伯特蘭·阿瑟·威廉·羅素(Bertrand Arthur William Russell,1872年5月18日-1970年2月2日)是二十世紀最有影響力...
人物生平 女權主義 歷史貢獻 經濟理論 思想貢獻蒙特(1864年~1935年5月13日)生於挪威卑爾根,又譯蒙茨、芒笛、蒙克。1886年前往中國,供職於中國海關。在中日甲午戰爭中他為中方作戰,並被後來...
介紹 生平阿克曼函式(Ackermann)是非原始遞歸函式的例子。它需要兩個自然數作為輸入值,輸出一個自然數。它的輸出值增長速度非常快,僅是對於(4,3)的輸出已...
歷史 定義 意義 反函式 計算代碼威廉一世(征服王威廉公爵)(法文:Guillaume le Conquérant;英語:King William I The Conqueror; 拉丁...
簡歷 政治生涯 從政軼事 評論 婚姻劍橋公爵威廉王子全名是威廉·亞瑟·菲利浦·路易斯·蒙巴頓-溫莎,王儲威爾斯親王查爾斯與原配妻子黛安娜王妃的長子,英女王伊莉莎白二世與菲利普親王的孫輩。僅...
成長經歷 個人生活 重大事件 家庭成員 個人榮譽