http://dbpedia.org/ontology/abstract
|
Theodore Allen Slaman (né le 17 avril 1954) est un mathématicien logicien américain qui travaille en théorie de la récursion.
, Theodore Allen Slaman (born April 17, 1954 … 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.morphism will be arithmetically definable.
, Theodore Allan Slaman (17 de abril de 1954 … 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).ticos em Quioto (1990: Degree Structures).
, Theodore Allen Slaman (* 17. April 1954) i … 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). war er Gödel-Lecturer (Recursion Theory).
|
http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Mathematics +
|
http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Harvard_University +
|
http://dbpedia.org/ontology/birthDate
|
"1954-04-17"^^xsd:date
|
http://dbpedia.org/ontology/citizenship
|
http://dbpedia.org/resource/United_States +
|
http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Gerald_E._Sacks +
|
http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Ted_Slaman.jpg?width=300 +
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://math.berkeley.edu/~slaman/ +
|
http://dbpedia.org/ontology/wikiPageID
|
5693320
|
http://dbpedia.org/ontology/wikiPageLength
|
2236
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1054196260
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:21st-century_American_mathematicians +
, http://dbpedia.org/resource/Gerald_E._Sacks +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Turing_degrees +
, http://dbpedia.org/resource/United_States +
, http://dbpedia.org/resource/W._Hugh_Woodin +
, http://dbpedia.org/resource/Category:20th-century_American_mathematicians +
, http://dbpedia.org/resource/Category:G%C3%B6del_Lecturers +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Harvard_University +
, http://dbpedia.org/resource/Arithmetic_set +
, http://dbpedia.org/resource/Automorphism +
, http://dbpedia.org/resource/Category:University_of_California%2C_Berkeley_faculty +
, http://dbpedia.org/resource/Partial_order +
, http://dbpedia.org/resource/University_of_California%2C_Berkeley +
, http://dbpedia.org/resource/Second-order_arithmetic +
, http://dbpedia.org/resource/Category:Harvard_University_alumni +
, http://dbpedia.org/resource/Recursion_theory +
, http://dbpedia.org/resource/Category:1954_births +
, http://dbpedia.org/resource/Category:American_logicians +
, http://dbpedia.org/resource/Logical_equivalence +
|
http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/Harvard_University +
|
http://dbpedia.org/property/birthDate
|
"1954-04-17"^^xsd:date
|
http://dbpedia.org/property/citizenship
|
http://dbpedia.org/resource/United_States +
|
http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Gerald_E._Sacks +
|
http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Mathematics +
|
http://dbpedia.org/property/name
|
Theodore Allen Slaman
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:MathGenealogy +
, http://dbpedia.org/resource/Template:B-da +
, http://dbpedia.org/resource/Template:US-mathematician-stub +
, http://dbpedia.org/resource/Template:Cite_conference +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Infobox_scientist +
|
http://dbpedia.org/property/workInstitutions
|
http://dbpedia.org/resource/University_of_California%2C_Berkeley +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:1954_births +
, http://dbpedia.org/resource/Category:G%C3%B6del_Lecturers +
, http://dbpedia.org/resource/Category:21st-century_American_mathematicians +
, http://dbpedia.org/resource/Category:University_of_California%2C_Berkeley_faculty +
, http://dbpedia.org/resource/Category:20th-century_American_mathematicians +
, http://dbpedia.org/resource/Category:Harvard_University_alumni +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:American_logicians +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Professor +
|
http://schema.org/sameAs
|
http://viaf.org/viaf/44416590 +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Theodore_Slaman?oldid=1054196260&ns=0 +
|
http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Ted_Slaman.jpg +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Theodore_Slaman +
|
http://xmlns.com/foaf/0.1/name
|
Theodore Allen Slaman
|
owl:sameAs |
http://dbpedia.org/resource/Theodore_Slaman +
, https://global.dbpedia.org/id/XLfw +
, http://la.dbpedia.org/resource/Theodorus_Slaman +
, http://ht.dbpedia.org/resource/Theodore_Slaman +
, http://fr.dbpedia.org/resource/Theodore_A._Slaman +
, http://data.bibliotheken.nl/id/thes/p075016524 +
, http://de.dbpedia.org/resource/Theodore_A._Slaman +
, http://pt.dbpedia.org/resource/Theodore_Allen_Slaman +
, http://azb.dbpedia.org/resource/%D8%AA%D8%A6%D9%88%D8%AF%D9%88%D8%B1_%D8%A7%D8%B3%D9%84%D8%A7%D9%85%D9%87 +
, http://yago-knowledge.org/resource/Theodore_Slaman +
, http://www.wikidata.org/entity/Q1525383 +
, http://viaf.org/viaf/44416590 +
, http://rdf.freebase.com/ns/m.0d_ghr +
|
rdf:type |
http://dbpedia.org/class/yago/WikicatAmericanPhilosophers +
, http://dbpedia.org/class/yago/Expert109617867 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/Philosopher110423589 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Wikicat20th-centuryMathematicians +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/Wikicat21st-centuryMathematicians +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/WikicatAmericanLogicians +
, http://dbpedia.org/ontology/Animal +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/WikicatAmericanPeople +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/ontology/Eukaryote +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Logician110269785 +
, http://dbpedia.org/class/yago/Mathematician110301261 +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/WikicatHarvardUniversityAlumni +
, http://dbpedia.org/ontology/Species +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/WikicatAmericanMathematicians +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://www.wikidata.org/entity/Q729 +
|
rdfs:comment |
Theodore Allen Slaman (* 17. April 1954) i … 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.2005 Vorsitzender der Mathematik-Fakultät.
, Theodore Allen Slaman (born April 17, 1954 … 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.morphism will be arithmetically definable.
, Theodore Allen Slaman (né le 17 avril 1954) est un mathématicien logicien américain qui travaille en théorie de la récursion.
, Theodore Allan Slaman (17 de abril de 1954 … 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).ticos em Quioto (1990: Degree Structures).
|
rdfs:label |
Theodore Slaman
, Theodore A. Slaman
, Theodore Allen Slaman
|