斯卡雷特单推委员会

计算机是数学发展的必然产物一位持有铅笔, 纸和一串明确指令的人类计算者, 可以被看做是一种图灵机. – 阿隆索·邱奇图灵机是艾伦·麦席森·图灵在其 1936 发表的论文《论可计算数在判定问题中的应用》中提出的一种抽象计算模型, 同时也是计算机科学的重要理论基础, 曾经被广泛使用的冯·诺依曼型计算机就是图灵机的一种具体实现. 在论文中, 图灵首先将小数表达式可在有限步骤内计算出...