loveRooney的专栏

从而有程序代码如下： TO C IF x!=0 TO E ;若x=0则程序终止y=0 [C] z1=z1+1 z1=z1+1 z1=z1+1 z1=z1+1 [A] z2=x [A2] TO A1 IF z2!=0 ;每次实现z3=z3+x检测z3是否已经为4x z1=z1-1 TO A IF z1!=0

可计算理论是由递归函数的产生而发展的，其核心问题是：什么是可计算的，以及如何保证计算的自动性，有效性和正确性。数理逻辑学家研究定理证明及其推导的特殊计算，从而产生了可计算理论。20世纪三十年代，数理学家开始探索可计算的定义。1931年Herbrand对递归函数进行了研究，并把他的研究成果写发送给了哥德尔，但是由于种种原因，Herbrand的探究暂时被搁置了。同年秋，美国数学家丘奇开创一种新