From Conservapedia
This is the current revision of Oracle as edited by DavidB4-bot (Talk | contribs) at 17:01, 13 July 2016. This URL is a permanent link to this version of this page.

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

In mathematics, an oracle is a black box posited in logic which, without revealing the methods of proof, can decide whether a statement is true or false. In higher computability theory, one often makes use of oracles that can solve the Halting problem to deduce the undecidability of computing problems.

The term oracle is taken from the Greek Oracle at Delphi, a pagan priestess, who, when drugged appropriately, could see the future. The oracle is a central part of many Greek myths, and is often used to teach the lesson that "no man can escape his fate" (see also hubris).

For the computer technology company, see Oracle Corporation