Hamkins和Seabold[HS01]分析了一个磁带与多带无限时间图灵机和Benedikt L¨owe[L¨01]观察了无限时间图灵机与真理修正理论之间的联系。 2.一些应用和扩展 让我们简要介绍一下最近的发展和无限时间的延伸图灵机,如无限时间复杂性理论的兴起和介绍无限时间可计算模型理论。在此之后,在以下部分中,我们将更详细地介绍无...
摘要:我们描述了无限时间图灵机的基本理论和最近的一些发展,包括无限时间度理论,无限时间复杂性理论,以及无限时间可计算模型理论。我们特别关注的是无限时间图灵机上等价关系的层次分析reals,类似于由Borel可约性产生的理论。我们定义了一个概念具有无限的时间可约性,这将Borel理论的大部分提升到∆类∼1.2.在一个...
花园26号宇宙的无限..注本次比较,只注入作品内描述,作品外描述本次不计入就没有懂的人来说一下谁的图灵机强吗d