29 relations: Alan Turing, Albert Muchnik, Annals of Mathematics, Bulletin of the American Mathematical Society, Computability theory, Computer science, Countable set, Decision problem, Dense order, Emil Leon Post, Equivalence class, Equivalence relation, Gerald Sacks, Halting problem, Join and meet, Lattice (order), Leo Harrington, Many-one reduction, Martin measure, Mathematical logic, Oracle machine, Partially ordered set, Recursively enumerable set, Robert I. Soare, Semilattice, Stephen Cole Kleene, Theodore Slaman, Turing jump, Turing reduction.
Alan Turing
Alan Mathison Turing (23 June 1912 – 7 June 1954) was an English computer scientist, mathematician, logician, cryptanalyst, philosopher, and theoretical biologist.
New!!: Turing degree and Alan Turing · See more »
Albert Muchnik
Albert Abramovich Muchnik (born 1934) is a Russian mathematician who worked in the field of foundations and mathematical logic.
New!!: Turing degree and Albert Muchnik · See more »
Annals of Mathematics
The Annals of Mathematics is a bimonthly mathematical journal published by Princeton University and the Institute for Advanced Study.
New!!: Turing degree and Annals of Mathematics · See more »
Bulletin of the American Mathematical Society
The Bulletin of the American Mathematical Society is a quarterly mathematical journal published by the American Mathematical Society.
New!!: Turing degree and Bulletin of the American Mathematical Society · See more »
Computability theory
Computability theory, also known as recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees.
New!!: Turing degree and Computability theory · See more »
Computer science
Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.
New!!: Turing degree and Computer science · See more »
Countable set
In mathematics, a countable set is a set with the same cardinality (number of elements) as some subset of the set of natural numbers.
New!!: Turing degree and Countable set · See more »
Decision problem
In computability theory and computational complexity theory, a decision problem is a problem that can be posed as a yes-no question of the input values.
New!!: Turing degree and Decision problem · See more »
Dense order
In mathematics, a partial order or total order.
New!!: Turing degree and Dense order · See more »
Emil Leon Post
Emil Leon Post (February 11, 1897 – April 21, 1954) was an American mathematician and logician.
New!!: Turing degree and Emil Leon Post · See more »
Equivalence class
In mathematics, when the elements of some set S have a notion of equivalence (formalized as an equivalence relation) defined on them, then one may naturally split the set S into equivalence classes.
New!!: Turing degree and Equivalence class · See more »
Equivalence relation
In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric and transitive.
New!!: Turing degree and Equivalence relation · See more »
Gerald Sacks
Gerald Enoch Sacks (born 1933, Brooklyn) is a logician who holds a joint appointment at Harvard University as a professor of mathematical logic and the Massachusetts Institute of Technology as a professor emeritus.
New!!: Turing degree and Gerald Sacks · See more »
Halting problem
In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running (i.e., halt) or continue to run forever.
New!!: Turing degree and Halting problem · See more »
Join and meet
In a partially ordered set P, the join and meet of a subset S are respectively the supremum (least upper bound) of S, denoted ⋁S, and infimum (greatest lower bound) of S, denoted ⋀S.
New!!: Turing degree and Join and meet · See more »
Lattice (order)
A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra.
New!!: Turing degree and Lattice (order) · See more »
Leo Harrington
Leo Anthony Harrington (born May 17, 1946) is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model theory, and set theory.
New!!: Turing degree and Leo Harrington · See more »
Many-one reduction
In computability theory and computational complexity theory, a many-one reduction is a reduction which converts instances of one decision problem into instances of a second decision problem.
New!!: Turing degree and Many-one reduction · See more »
Martin measure
In descriptive set theory, the Martin measure is a filter on the set of Turing degrees of sets of natural numbers, named after Donald A. Martin.
New!!: Turing degree and Martin measure · See more »
Mathematical logic
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.
New!!: Turing degree and Mathematical logic · See more »
Oracle machine
In complexity theory and computability theory, an oracle machine is an abstract machine used to study decision problems.
New!!: Turing degree and Oracle machine · See more »
Partially ordered set
In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set.
New!!: Turing degree and Partially ordered set · See more »
Recursively enumerable set
In computability theory, traditionally called recursion theory, a set S of natural numbers is called recursively enumerable, computably enumerable, semidecidable, provable or Turing-recognizable if.
New!!: Turing degree and Recursively enumerable set · See more »
Robert I. Soare
Robert Irving Soare is an American mathematician.
New!!: Turing degree and Robert I. Soare · See more »
Semilattice
In mathematics, a join-semilattice (or upper semilattice) is a partially ordered set that has a join (a least upper bound) for any nonempty finite subset.
New!!: Turing degree and Semilattice · See more »
Stephen Cole Kleene
Stephen Cole Kleene (January 5, 1909 – January 25, 1994) was an American mathematician.
New!!: Turing degree and Stephen Cole Kleene · See more »
Theodore Slaman
Theodore Allen Slaman (born April 17, 1954) is a professor of mathematics at the University of California, Berkeley who works in recursion theory.
New!!: Turing degree and Theodore Slaman · See more »
Turing jump
In computability theory, the Turing jump or Turing jump operator, named for Alan Turing, is an operation that assigns to each decision problem a successively harder decision problem with the property that is not decidable by an oracle machine with an oracle for.
New!!: Turing degree and Turing jump · See more »
Turing reduction
In computability theory, a Turing reduction from a problem A to a problem B, is a reduction which solves A, assuming the solution to B is already known (Rogers 1967, Soare 1987).
New!!: Turing degree and Turing reduction · See more »
Redirects here:
Degree of unsolvability, Degrees of unsolvability, Post problem, Post's problem, Priority argument, Priority method, Recursively enumerable Turing degree, T degree, T-degree, Turing degrees, Turing equivalence (recursion theory).
References
[1] https://en.wikipedia.org/wiki/Turing_degree