论文部分内容阅读
1930年代初提出的丘奇-图灵论点。是判定什么是计算、什么问题是可计算的、什么问题是不可计算的这一切问题的最根本原则或标准。电子计算机诞生后,丘奇一图灵论点还成了刻画电子计算机计算能力的最基本的理论依据。70年过去了,尽管新型的计算范例不断涌现,如神经网络计算、遗传计算、进化计算、DNA计算等,但它们除了在计算复杂性方面(计算效率)较优。并没有从根本上动摇丘奇-图灵论点。