In mathematics, more precisely in Recursion theory, Martin's conjecture states, in essence, that the only nontrivial definable Turing invariant functions are the Turing jump and its iterates through the transfinite.
It is named after Donald A. Martin who made this conjecture in the late 1970s; it first appeared in print as item 5 in the list titled “The Victoria Delphino problems” which was published as an appendix[1] to a volume of proceedings of the joint Caltech-UCLA Logic Seminar.
This mathematical logic-related article is a stub.
You can help Wikipedia by expanding it.