The Logical Possibility of Halting Oracles

Communications of the Blyth Institute Pub Date : 2018-12-13 DOI:10.33014/ISSN.2640-5652.1.1.HOLLOWAY.3

Eric M. Holloway

引用次数: 1

Abstract

Halting oracles are often used in discussions of computability. This letter discusses whether or not such oracles are logically possible or if the idea itself contains internal contradictions.

查看原文本刊更多论文

停止神谕的逻辑可能性

在讨论可计算性时，经常使用停止预言机。这封信讨论了这样的预言是否在逻辑上是可能的，或者这个想法本身是否包含内部矛盾。

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

求助全文

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

来源期刊

Communications of the Blyth Institute

自引率

0.00%

发文量