摘要:图灵论文的主要特征源自其所创立的表达系统(图灵机),特别是它的一致性。本文界定并举例说明了开创性陈述和文本的概念,不仅限于图灵论文和文章的例子。还考虑了开创性文本之间的其他关系,这允许将图灵的文章纳入开创性历史之中。
作者:Alain Herreman (IRMAR)
论文ID:1111.2145
分类:History and Overview
分类简称:math.HO
提交时间:2011-11-10
PDF 下载: 英文版 中文版pdf翻译中