 | Thisbiography of a living personneeds additionalcitations forverification. Please help by addingreliable sources.Contentious material about living persons that is unsourced orpoorly sourcedmust be removed immediately from the article and its talk page, especially if potentiallylibelous. Find sources: "Donald A. Martin" – news ·newspapers ·books ·scholar ·JSTOR(December 2014) (Learn how and when to remove this message) |
Donald Anthony Martin (born December 24, 1940), also known asTony Martin, is an Americanset theorist andphilosopher of mathematics atUCLA, where he is an emeritus professor of mathematics andphilosophy.
Martin received his B.S. from theMassachusetts Institute of Technology in 1962 and was aJunior Fellow of the Harvard Society of Fellows in 1965–67.[1] In 2014, he became a Fellow of theAmerican Mathematical Society.[2]
Martin was the 1992Tarski lecturer.
Among Martin's most notable works are the proofs ofanalyticdeterminacy[3] (from the existence of ameasurable cardinal),Borel determinacy[4] (fromZFC alone), the proof (withJohn R. Steel) ofprojective determinacy[5] (from suitablelarge cardinal axioms), and his work onMartin's axiom.[6] TheMartin measure onTuring degrees and theMartin's Conjecture on Turing invariant functions are also named after Martin.
In mathematics, more precisely inrecursion 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. Martin made this conjecture in the late 1970s; it first appeared in print as item 5 in the list titled “The Victoria Delfino problems” which was published as an appendix[7] to a volume of proceedings of the joint Caltech-UCLA Logic Seminar.
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
   | This article about an American mathematician is astub. You can help Wikipedia byadding missing information. |
