In computability theory, many reducibility relations (also called reductions, reducibilities, and notions of reducibility) are studied. They are motivated...

Computability theory, also known as recursion theory, is a branch of mathematical logic, computer science, and the theory of computation that originated...

In computability theory, a Turing reduction from a decision problem A {\displaystyle A} to a decision problem B {\displaystyle B} is an oracle machine...

Computability is the ability to solve a problem by an effective procedure. It is a key topic of the field of computability theory within mathematical...

Recursive Functions and Effective Computability, MIT Press. ISBN 0-262-68052-1 S. Barry Cooper (2004). Computability Theory. Chapman and Hall/CRC. ISBN 1-58488-237-9...

In computational complexity theory, a log-space reduction is a reduction computable by a deterministic Turing machine using logarithmic space. Conceptually...

In computability theory and computational complexity theory, a many-one reduction (also called mapping reduction) is a reduction that converts instances...

analysis of algorithms and computability theory. A key distinction between analysis of algorithms and computational complexity theory is that the former is...

In computability theory and computational complexity theory, a reduction is an algorithm for transforming one problem into another problem. A sufficiently...

In computability theory and computational complexity theory, a decision problem is a computational problem that can be posed as a yes–no question on a...

suggestion that a newer theory does not replace or absorb an older one, but reduces it to more basic terms. Theory reduction itself is divisible into...

Orchestrated objective reduction (Orch OR) is a theory postulating that consciousness originates at the quantum level inside neurons (rather than being...

The uncertainty reduction theory (URT), also known as initial interaction theory, developed in 1975 by Charles Berger and Richard Calabrese, is a communication...

compounds Ore reduction: see smelting Reduction (complexity), a transformation of one problem into another problem Reduction (recursion theory), given sets...

In computational complexity theory and computability theory, a counting problem is a type of computational problem. If R is a search problem then c R...

Computability logic (CoL) is a research program and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed...

In complexity theory and computability theory, an oracle machine is an abstract machine used to study decision problems. It can be visualized as a black...

This is a list of computability and complexity topics, by Wikipedia page. Computability theory is the part of the theory of computation that deals with...

In computability theory, index sets describe classes of computable functions; specifically, they give all indices of functions in a certain class, according...

In computability theory, the Church–Turing thesis (also known as computability thesis, the Turing–Church thesis, the Church–Turing conjecture, Church's...

In computability theory a truth-table reduction is a type of reduction from a decision problem A {\displaystyle A} to a decision problem B {\displaystyle...

computability theory, a function is called limit computable if it is the limit of a uniformly computable sequence of functions. The terms computable in...

Dimensionality reduction, or dimension reduction, is the transformation of data from a high-dimensional space into a low-dimensional space so that the...

and =β meaning equivalence with β-reduction. See the Church–Turing thesis for other approaches to defining computability and their equivalence. Church's...

particular unit in USB hubs tt-reduction (truth-table reduction), a kind of transformation used in computability theory <tt>...</tt> (short for teletype)...

In computability theory the Myhill isomorphism theorem, named after John Myhill, provides a characterization for two numberings to induce the same notion...

In the mathematical field of graph theory, a transitive reduction of a directed graph D is another directed graph with the same vertices and as few edges...

many-one reduction in computability theory. A property of a theory or logical system weaker than decidability is semidecidability. A theory is semidecidable...

In computability theory, the Ackermann function, named after Wilhelm Ackermann, is one of the simplest and earliest-discovered examples of a total computable...

advantage comes in the form of time complexity rather than computability, and quantum complexity theory shows that some quantum algorithms are exponentially...