Refining Mark Burgin’s Case against the Church–Turing Thesis

IF 0.6 Q2 HISTORY & PHILOSOPHY OF SCIENCE

Philosophies Pub Date : 2024-08-12 DOI:10.3390/philosophies9040122

Edgar Graham Daylight

引用次数: 0

Abstract

The outputs of a Turing machine are not revealed for inputs on which the machine fails to halt. Why is an observer not allowed to see the generated output symbols as the machine operates? Building on the pioneering work of Mark Burgin, we introduce an extension of the Turing machine model with a visible output tape. As a subtle refinement to Burgin’s theory, we stipulate that the outputted symbols cannot be overwritten: at step i, the content of the output tape is a prefix of the content at step j, where i

查看原文本刊更多论文

马克-伯金对丘奇-图灵论的反驳

对于机器无法停止的输入，图灵机的输出不会显示。为什么观察者不能看到机器运行时生成的输出符号呢？在马克-伯金（Mark Burgin）的开创性工作基础上，我们引入了图灵机模型的扩展，即可见输出带。作为对伯金理论的微妙改进，我们规定输出符号不能被覆盖：在第 i 步，输出带的内容是第 j 步内容的前缀，其中 i

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊