The Logical Possibility of Halting Oracles

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.