一个"enonc"和一个开篇文本

摘要:图灵论文的主要特征源自其所创立的表达系统(图灵机),特别是它的一致性。本文界定并举例说明了开创性陈述和文本的概念,不仅限于图灵论文和文章的例子。还考虑了开创性文本之间的其他关系,这允许将图灵的文章纳入开创性历史之中。

作者:Alain Herreman (IRMAR)

论文ID:1111.2145

分类:History and Overview

分类简称:math.HO

提交时间:2011-11-10

PDF 下载: 英文版 中文版pdf翻译中