1928年，Wilhelm Ackermann (1896 - 1962，David Hilbert的学生) 发现x的y次幂的z-重积分 A(x,y,z)是递归的但不是原始递归的。Rosza Peter将A(x,y,z)简化到二元函数，初始条件由Raphael Robinson简化。
猜您喜欢
推荐内容
开源项目推荐 更多
热门活动
热门器件
用户搜过
随便看看
热门下载
热门文章
京公网安备 11010802033920号
Copyright © 2005-2026 EEWORLD.com.cn, Inc. All rights reserved
评论