Theodore Slaman
American mathematician (born 1954) From Wikipedia, the free encyclopedia
American mathematician (born 1954) From Wikipedia, the free encyclopedia
Theodore Allen Slaman (born April 17, 1954) is a professor of mathematics at the University of California, Berkeley who works in recursion theory.
Theodore Allen Slaman | |
---|---|
Born | April 17, 1954 70) | (age
Citizenship | American |
Alma mater | Harvard University |
Scientific career | |
Fields | Mathematics |
Institutions | University of California, Berkeley |
Doctoral advisor | Gerald E. Sacks |
Slaman and W. Hugh Woodin formulated the Bi-interpretability Conjecture for the Turing degrees, which conjectures that the partial order of the Turing degrees is logically equivalent to second-order arithmetic. They showed that the Bi-interpretability Conjecture is equivalent to there being no nontrivial automorphism of the Turing degrees. They also exhibited limits on the possible automorphisms of the Turing degrees by showing that any automorphism will be arithmetically definable.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.