SOURCE / turing-computable-numbers-1936

A. M. Turing, On Computable Numbers, received 1936-05-28, read 1936-11-12, journal 1937

固定纸带、当前格、`m-configuration`、automatic / circle-free machine、universal machine,以及对 Church 等价关系的登记;不能推出心智或一切智能可计算

权利说明

版权声明:原始页面、论文、报告和结构化资料的权利归作者、出版方、机构及其他原权利人;《原代码》公开必要的证据快照用于技术评论与核查,保留原始链接。

被引用位置