Theodore Slaman
http://dbpedia.org/resource/Theodore_Slaman an entity of type: Thing
Theodore Allen Slaman (né le 17 avril 1954) est un mathématicien logicien américain qui travaille en théorie de la récursion.
rdf:langString
Theodore Allen Slaman (born April 17, 1954) is a professor of mathematics at the University of California, Berkeley who works in recursion theory. 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.
rdf:langString
Theodore Allan Slaman (17 de abril de 1954) é um matemático estadunidense. Obteve um doutorado em 1981 na Universidade Harvard, orientado por Gerald Sacks, com a tese Aspects of E-recursion Theory. Foi palestrante convidado do Congresso Internacional de Matemáticos em Quioto (1990: Degree Structures).
rdf:langString
Theodore Allen Slaman (* 17. April 1954) ist ein US-amerikanischer mathematischer Logiker. Slaman studierte zunächst Physik an der Pennsylvania State University, wechselte dann aber zur mathematischen Logik und promovierte 1981 an der Harvard University bei Gerald E. Sacks (Aspects of E-recursion theory). Er war 1983 bis 1996 Professor an der University of Chicago und wurde danach Professor an der University of California, Berkeley. Er war dort 2005 Vorsitzender der Mathematik-Fakultät.
rdf:langString
rdf:langString
Theodore A. Slaman
rdf:langString
Theodore A. Slaman
rdf:langString
Theodore Allen Slaman
rdf:langString
Theodore Slaman
rdf:langString
Theodore Allen Slaman
rdf:langString
Theodore Allen Slaman
xsd:date
1954-04-17
xsd:integer
5693320
xsd:integer
1054196260
xsd:date
1954-04-17
rdf:langString
Theodore Allen Slaman (* 17. April 1954) ist ein US-amerikanischer mathematischer Logiker. Slaman studierte zunächst Physik an der Pennsylvania State University, wechselte dann aber zur mathematischen Logik und promovierte 1981 an der Harvard University bei Gerald E. Sacks (Aspects of E-recursion theory). Er war 1983 bis 1996 Professor an der University of Chicago und wurde danach Professor an der University of California, Berkeley. Er war dort 2005 Vorsitzender der Mathematik-Fakultät. Slaman beschäftigt sich mit Rekursionstheorie. Mit W. Hugh Woodin formulierte er eine Vermutung über die Teilordnung der Turing-Grade (nämlich das es bei diesen keine nicht-trivialen Automorphismen gibt). Er erhielt den President Young Investigator Award und den Alexander von Humboldt Research Award. 1990 war er Invited Speaker auf dem Internationalen Mathematikerkongress (ICM) in Kyōto (Degree Structures). 2001 war er Gödel-Lecturer (Recursion Theory).
rdf:langString
Theodore Allen Slaman (né le 17 avril 1954) est un mathématicien logicien américain qui travaille en théorie de la récursion.
rdf:langString
Theodore Allen Slaman (born April 17, 1954) is a professor of mathematics at the University of California, Berkeley who works in recursion theory. 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.
rdf:langString
Theodore Allan Slaman (17 de abril de 1954) é um matemático estadunidense. Obteve um doutorado em 1981 na Universidade Harvard, orientado por Gerald Sacks, com a tese Aspects of E-recursion Theory. Foi palestrante convidado do Congresso Internacional de Matemáticos em Quioto (1990: Degree Structures).
xsd:nonNegativeInteger
2236