213
edits
Changes
Jump to navigation
Jump to search
New page: 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 computab...
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]].
The term ''oracle'' is taken from the Greek Oracle at Delphi, a pagan temple prostitute 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]]).
The term ''oracle'' is taken from the Greek Oracle at Delphi, a pagan temple prostitute 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]]).