SOURCE / turing-correction-1938

A. M. Turing, A Correction-Tur.pdf), 1938

记录原证明的形式错误、Bernays 指出错误及修正;防止把 1936 版本写成无需修订的完美文本

权利说明

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

被引用位置