四进制造物主第1章 上一章注释[001]
【写在8月25日20:53,发布后发现上下标给我全滤了?,我调整一下,过会儿再看】
硬核程度:☆☆☆☆☆
涉及领域:计算理论
大标题:三种函数外加三种操作怎样解决所有可计算问题?为什么偏递归函数可以制造无限循环?
可能是全网最不报菜名、最不装比的解释。
以下开始:
首先,什么是可计算?
可计算就是指,有一个算法,我们把它交付给计算机后,计算机可以像执行一个函数一样,接受我们给它的输入,然后返回输出,这个输出就是我们想要的答案。
为了方便描述,先行约定一下数学符号。
假设我们有一个乘法器,叫做ult,它可以接受一对整数作为输入,把它们相乘后输出一个整数。
比如,输入(3,4)输出12
输入(6,2)输出12
本章未完,点击下一页继续阅读。