20.4K
5932
威廉·阿克曼（德国数学家）
威廉·阿克曼（Wilhelm Ackermann）是20世纪德国数学家，主要活跃于逻辑学和集合论领域。他与大卫·希尔伯特合著了《理论逻辑原理》，并因提出计算理论中的阿克曼函数而闻名。
在哥廷根大学期间，他协助希尔伯特解决集合论公理化问题，参与发展冯·诺伊曼-贝尔奈斯-哥德尔集合论（NBG），并解决了策梅洛集合论中的相关问题。
此外，他与希尔伯特共同提出的判定性问题概念，对计算机科学的发展产生了深远影响
5932
免责声明：本站词条系由网友创建、编辑和维护，内容仅供参考。
以上内容均为商业内容展示，仅供参考，不具备专业问题解决服务，
如果您需要解决具体问题（尤其在法律、医学等领域），建议您咨询相关领域的专业人士。
如您发现词条内容涉嫌侵权，请通过 948026894@qq.com 与我们联系进行删除处理！
上一篇：童第周（中国克隆之父）
