计算机 阿兰-图灵

图灵机 图灵机提供了简单又强大的数学计算模型 起因是因为德国科学家的一个问题; 是否存在一种算法,输入正式逻辑语句,输出准确的"是"或者"否" 答案? 如果这样的算法存在,那么可以回答比如"是否有一个数字大于所有数字" 1935年美国科学家开发了一种"Lambda算子"的数学表达系统, 证明这种算法不存在, 但是它的计算非常复杂难以理解 同时在大西洋另一边,提出了图灵机: 假设有无限长的纸带, 纸

>>阅读原文<<