威廉·阿克曼
威廉·阿克曼(德语:Wilhelm Ackermann,1896年3月29日—1962年12月24日),德国数学家,最著名的成果是计算理论的重要例子阿克曼函数。
威廉·阿克曼 Wilhelm Ackermann | |
---|---|
出生 | 德意志帝国威斯特法伦省黑尔沙伊德 | 1896年3月29日
逝世 | 1962年12月24日 西德北莱茵-西法伦吕登沙伊德 | (66岁)
国籍 | 德国 |
母校 | 哥廷根大学 |
知名于 | |
科学生涯 | |
研究领域 | 数学 |
博士导师 | 大卫·希尔伯特 |
生平
编辑1928年他跟大卫·希尔伯特合写《理论逻辑原理》(Grundzuge der Theoretischen Logik)。他又写了Solvable cases of the decision problem (North Holland, 1954)。
他逝世于德国,终年66岁。
参见
编辑外部链接
编辑- 约翰·J·奥康纳; 埃德蒙·F·罗伯逊, Ackermann, MacTutor数学史档案 (英语)
- 威廉·阿克曼在数学谱系计划的资料。