Donald A. Martin
Template:Short description Script error: No such module "Other people". Script error: No such module "Unsubst".
Donald Anthony Martin (born December 24, 1940), also known as Tony Martin, is an American set theorist and philosopher of mathematics at UCLA, where he is an emeritus professor of mathematics and philosophy.
Education and career
Martin received his B.S. from the Massachusetts Institute of Technology in 1962 and was a Junior Fellow of the Harvard Society of Fellows in 1965–67.[1] In 2014, he became a Fellow of the American Mathematical Society.[2]
Martin was the 1992 Tarski lecturer.
Philosophical and mathematical work
Among Martin's most notable works are the proofs of analytic determinacy[3] (from the existence of a measurable cardinal), Borel determinacy[4] (from ZFC alone), the proof (with John R. Steel) of projective determinacy[5] (from suitable large cardinal axioms), and his work on Martin's axiom.[6] The Martin measure on Turing degrees and the Martin's Conjecture on Turing invariant functions are also named after Martin.
Martin's conjecture
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. 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.
See also
References
<templatestyles src="Reflist/styles.css" />
- ↑ Script error: No such module "citation/CS1".
- ↑ List of Fellows of the American Mathematical Society, retrieved 2014-12-17
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "citation/CS1".
Script error: No such module "Check for unknown parameters".
External links
- Template:PAGENAMEBASE at the Mathematics Genealogy ProjectTemplate:EditAtWikidata
- List of publications
- UCLA Logic center
- Personal Website at UCLA
Script error: No such module "Authority control".