| http://dbpedia.org/ontology/abstract
|
Gerald Enoch Sacks (né en 1933 à Brooklyn) est un mathématicien logicien américain qui travaille principalement en théorie de la récursion.
, Gerald Enoch Sacks (* 22. März 1933 in Bro … Gerald Enoch Sacks (* 22. März 1933 in Brooklyn; † 4. Oktober 2019 in Falmouth, Maine) war ein US-amerikanischer mathematischer Logiker. Sacks promovierte 1961 bei John Barkley Rosser an der Cornell University (On Suborderings of Degrees of Recursive Unsolvability). Ab 1962 war er Assistant Professor und danach Associate Professor an der Cornell University. 1961/62 und 1974/75 war er am Institute for Advanced Study. Ab 1967 war er Professor am Massachusetts Institute of Technology (bis 2006 ist er dort Professor Emeritus) und gleichzeitig ab 1972 Professor an der Harvard University. Er war Gastprofessor am Caltech (1983/83) und an der University of Chicago (1988/89). 1966/67 war er Guggenheim Fellow und 1979 Senior Fulbright-Hayes Scholar. 1970 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Nizza (Recursion in objects of finite type) und 1962 in Stockholm (Recursively enumerable degrees). Zu seinen Doktoranden zählen Harvey Friedman, Sy Friedman, Leo Harrington, Richard A. Shore, Theodore Slaman, Stephen G. Simpson (Professor an der Pennsylvania State University), Lenore Blum, R. W. Robinson (Professor an der University of Georgia). Sacks beschäftigte sich besonders mit Rekursionstheorie. Sein Dichtesatz besagt, dass die rekursiv aufzählbaren Turing Grade (auch Degrees of unsolvability genannt) dicht liegen. Nach ihm ist eine Forcing-Methode benannt (Sacks Forcing).e Forcing-Methode benannt (Sacks Forcing).
, Gerald Enoch Sacks (1933 – October 4, 2019 … Gerald Enoch Sacks (1933 – October 4, 2019) was a logician whose most important contributions were in recursion theory. Named after him is Sacks forcing, a forcing notion based on perfect sets and the Sacks Density Theorem, which asserts that the partial order of the recursively enumerable Turing degrees is dense. Sacks had a joint appointment as a professor at the Massachusetts Institute of Technology and at Harvard University starting in 1972 and became emeritus at M.I.T. in 2006 and at Harvard in 2012. Sacks was born in Brooklyn in 1933. He earned his Ph.D. in 1961 from Cornell University under the direction of J. Barkley Rosser, with his dissertation On Suborderings of Degrees of Recursive Insolvability. Among his notable students are Lenore Blum, Harvey Friedman, Sy Friedman, Leo Harrington, Richard Shore, Steve Simpson and Theodore Slaman. Shore, Steve Simpson and Theodore Slaman.
, Gerald Enoch Sacks (Brooklyn, 1933) é um m … Gerald Enoch Sacks (Brooklyn, 1933) é um matemático estadunidense. Sacks obteve um doutorado em 1961 na Universidade Cornell, orientado por John Barkley Rosser. Foi palestrante convidado do Congresso Internacional de Matemáticos em Estocolmo (1962 - Recursively enumerable degrees) e em Nice (1970 Recursion in objects of finite type).1970 Recursion in objects of finite type).
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://books.google.com/books/about/Degrees_of_Unsolvability.html%3Fid=ZXEJGn_T0A4C +
, https://books.google.com/books/about/Saturated_Model_Theory_2nd_Edition.html%3Fid=xLFI9fOozVoC +
|
| http://dbpedia.org/ontology/wikiPageID
|
3050504
|
| http://dbpedia.org/ontology/wikiPageLength
|
3612
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1114453821
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Sacks_forcing +
, http://dbpedia.org/resource/Harvard_University +
, http://dbpedia.org/resource/Category:1933_births +
, http://dbpedia.org/resource/Recursively_enumerable +
, http://dbpedia.org/resource/Lenore_Blum +
, http://dbpedia.org/resource/Recursion_theory +
, http://dbpedia.org/resource/Cornell_University +
, http://dbpedia.org/resource/Turing_degree +
, http://dbpedia.org/resource/Logician +
, http://dbpedia.org/resource/Doctor_of_Philosophy +
, http://dbpedia.org/resource/Category:Mathematical_logicians +
, http://dbpedia.org/resource/Steve_Simpson_%28mathematician%29 +
, http://dbpedia.org/resource/Partial_order +
, http://dbpedia.org/resource/Category:2019_deaths +
, http://dbpedia.org/resource/Category:Harvard_University_faculty +
, http://dbpedia.org/resource/Category:American_logicians +
, http://dbpedia.org/resource/J._Barkley_Rosser +
, http://dbpedia.org/resource/Richard_Shore +
, http://dbpedia.org/resource/Forcing_%28mathematics%29 +
, http://dbpedia.org/resource/Dense_order +
, http://dbpedia.org/resource/Category:Cornell_University_alumni +
, http://dbpedia.org/resource/Category:Massachusetts_Institute_of_Technology_School_of_Science_faculty +
, http://dbpedia.org/resource/Category:20th-century_American_mathematicians +
, http://dbpedia.org/resource/Theodore_Slaman +
, http://dbpedia.org/resource/Category:21st-century_American_mathematicians +
, http://dbpedia.org/resource/Massachusetts_Institute_of_Technology +
, http://dbpedia.org/resource/Sy_Friedman +
, http://dbpedia.org/resource/Leo_Harrington +
, http://dbpedia.org/resource/Perfect_set +
, http://dbpedia.org/resource/Brooklyn +
, http://dbpedia.org/resource/Harvey_Friedman +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:US-mathematician-stub +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Short_description +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:1933_births +
, http://dbpedia.org/resource/Category:2019_deaths +
, http://dbpedia.org/resource/Category:Harvard_University_faculty +
, http://dbpedia.org/resource/Category:Massachusetts_Institute_of_Technology_School_of_Science_faculty +
, http://dbpedia.org/resource/Category:Cornell_University_alumni +
, http://dbpedia.org/resource/Category:Mathematical_logicians +
, http://dbpedia.org/resource/Category:20th-century_American_mathematicians +
, http://dbpedia.org/resource/Category:21st-century_American_mathematicians +
, http://dbpedia.org/resource/Category:American_logicians +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Logician +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/32075782 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Gerald_Sacks?oldid=1114453821&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Gerald_Sacks +
|
| owl:sameAs |
http://dbpedia.org/resource/Gerald_Sacks +
, http://www.wikidata.org/entity/Q1509840 +
, https://global.dbpedia.org/id/WTtF +
, http://fr.dbpedia.org/resource/Gerald_E._Sacks +
, http://pt.dbpedia.org/resource/Gerald_Sacks +
, https://dblp.org/pid/19/5241 +
, http://rdf.freebase.com/ns/m.08n5b2 +
, http://d-nb.info/gnd/128780770 +
, http://de.dbpedia.org/resource/Gerald_E._Sacks +
, http://yago-knowledge.org/resource/Gerald_Sacks +
, http://viaf.org/viaf/32075782 +
, http://data.bibliotheken.nl/id/thes/p078219744 +
|
| rdf:type |
http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/Logician110269785 +
, http://dbpedia.org/class/yago/Mathematician110301261 +
, http://dbpedia.org/class/yago/WikicatAmericanLogicians +
, http://dbpedia.org/class/yago/WikicatLogicians +
, http://dbpedia.org/class/yago/WikicatHarvardUniversityAlumni +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/WikicatCornellUniversityAlumni +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Associate109816771 +
, http://dbpedia.org/class/yago/WikicatAmericanPhilosophers +
, http://dbpedia.org/class/yago/Wikicat21st-centuryMathematicians +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/WikicatGuggenheimFellows +
, http://dbpedia.org/class/yago/Wikicat20th-centuryMathematicians +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/Philosopher110423589 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Expert109617867 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Peer109626238 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/Colleague109935990 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/WikicatAmericanPeople +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://dbpedia.org/class/yago/Scientist110560637 +
|
| rdfs:comment |
Gerald Enoch Sacks (1933 – October 4, 2019 … Gerald Enoch Sacks (1933 – October 4, 2019) was a logician whose most important contributions were in recursion theory. Named after him is Sacks forcing, a forcing notion based on perfect sets and the Sacks Density Theorem, which asserts that the partial order of the recursively enumerable Turing degrees is dense. Sacks had a joint appointment as a professor at the Massachusetts Institute of Technology and at Harvard University starting in 1972 and became emeritus at M.I.T. in 2006 and at Harvard in 2012. at M.I.T. in 2006 and at Harvard in 2012.
, Gerald Enoch Sacks (* 22. März 1933 in Bro … Gerald Enoch Sacks (* 22. März 1933 in Brooklyn; † 4. Oktober 2019 in Falmouth, Maine) war ein US-amerikanischer mathematischer Logiker. Sacks promovierte 1961 bei John Barkley Rosser an der Cornell University (On Suborderings of Degrees of Recursive Unsolvability). Ab 1962 war er Assistant Professor und danach Associate Professor an der Cornell University. 1961/62 und 1974/75 war er am Institute for Advanced Study. Ab 1967 war er Professor am Massachusetts Institute of Technology (bis 2006 ist er dort Professor Emeritus) und gleichzeitig ab 1972 Professor an der Harvard University. Er war Gastprofessor am Caltech (1983/83) und an der University of Chicago (1988/89).nd an der University of Chicago (1988/89).
, Gerald Enoch Sacks (né en 1933 à Brooklyn) est un mathématicien logicien américain qui travaille principalement en théorie de la récursion.
, Gerald Enoch Sacks (Brooklyn, 1933) é um m … Gerald Enoch Sacks (Brooklyn, 1933) é um matemático estadunidense. Sacks obteve um doutorado em 1961 na Universidade Cornell, orientado por John Barkley Rosser. Foi palestrante convidado do Congresso Internacional de Matemáticos em Estocolmo (1962 - Recursively enumerable degrees) e em Nice (1970 Recursion in objects of finite type).1970 Recursion in objects of finite type).
|
| rdfs:label |
Gerald E. Sacks
, Gerald Sacks
|
