Open AccessThe Logical Possibility of Halting Oracles
Author(s) -
Eric Holloway
Publication year - 2018
Publication title -
communications of the blyth institute
Language(s) - English
Resource type - Journals
eISSN - 2640-5652
pISSN - 2640-5644
DOI - 10.33014/issn.2640-5652.1.1.holloway.3
Subject(s) - halting problem , computer science , computability , epistemology , cognitive science , programming language , theoretical computer science , philosophy , psychology , turing machine , computation
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.