http://dbpedia.org/ontology/abstract
|
조지프 로버트 숀필드(영어: Joseph Robert Shoenfield, 1927~2000)는 미국의 수리논리학자이다.
, Joseph Robert Shoenfield (1927, Detroit – November 15, 2000, Durham, North Carolina) was an American mathematical logician.
, Joseph Robert Shoenfield (Detroit, 1927 — … Joseph Robert Shoenfield (Detroit, 1927 — Durham, Carolina do Norte, 15 de novembro de 2000) foi um matemático estadunidense. Shoenfield obteve um doutorado na Universidade de Michigan em 1953, orientado por Raymond Louis Wilder, com a tese Models of formal systems. Lecionou desde 1952 na Universidade Duke, onde permaneceu até aposentar-se em 1992. De 1970 a 1973 foi diretor da faculdade de matemática. Em 1956/57 esteve no Instituto de Estudos Avançados de Princeton. Shoenfield trabalhou com teoria da computabilidade, teoria dos modelos e . Seu livro-texto sobre lógica matemática é um clássico. De 1972 a 1976 foi presidente da . Em 1992 foi Gödel Lecturer.residente da . Em 1992 foi Gödel Lecturer.
, Joseph Robert Shoenfield (* 1927 in Detroi … Joseph Robert Shoenfield (* 1927 in Detroit; † 15. November 2000 in Durham (North Carolina)) war ein US-amerikanischer mathematischer Logiker. Shoenfield promovierte 1953 bei Raymond Louis Wilder an der University of Michigan (Models of formal systems). Seit 1952 lehrte er an der Duke University, wo er bis zu seiner Emeritierung 1992 blieb. 1970 bis 1973 war er Vorsitzender der Mathematik-Fakultät. 1956/57 war er am Institute for Advanced Study. Shoenfield beschäftigte sich mit Rekursionstheorie, Modelltheorie und axiomatischer Mengenlehre. Sein Lehrbuch der mathematischen Logik gilt als Klassiker. 1972 bis 1976 war er Präsident der Association for Symbolic Logic. 1992 war er Gödel-Lecturer. Er war schon seit Studententagen ein passionierter und starker Bridge-Spieler. passionierter und starker Bridge-Spieler.
, Joseph Robert Shoenfield, né le 1er mai 1927 à Détroit (Michigan) et mort le 15 novembre 2000 à Durham (Caroline du Nord), est un logicien mathématicien américain.
|
http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Mathematical_logic +
|
http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/University_of_Michigan +
|
http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/G%C3%B6del_Lecture +
|
http://dbpedia.org/ontology/deathPlace
|
http://dbpedia.org/resource/Durham%2C_North_Carolina +
|
http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Raymond_Louis_Wilder +
|
http://dbpedia.org/ontology/institution
|
http://dbpedia.org/resource/Duke_University +
|
http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Absoluteness +
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.trianglegoclub.org/tmm.htm +
, https://www.math.ucla.edu/~asl/bsl/0703/0703-007.ps +
, https://archive.org/details/recursiontheory0000shoe%7Curl-access=registration%7C +
, http://www.usgo.org/ratings-lookup-name%3FNamesLike=shoenfieldMember +
|
http://dbpedia.org/ontology/wikiPageID
|
48884267
|
http://dbpedia.org/ontology/wikiPageLength
|
3601
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1054189831
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Absoluteness +
, http://dbpedia.org/resource/Association_for_Symbolic_Logic +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Model_theory +
, http://dbpedia.org/resource/Category:G%C3%B6del_Lecturers +
, http://dbpedia.org/resource/Durham%2C_North_Carolina +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Category:20th-century_American_mathematicians +
, http://dbpedia.org/resource/Category:University_of_Michigan_alumni +
, http://dbpedia.org/resource/University_of_Michigan +
, http://dbpedia.org/resource/Category:Duke_University_faculty +
, http://dbpedia.org/resource/American_Go_Association +
, http://dbpedia.org/resource/A_K_Peters +
, http://dbpedia.org/resource/Institute_for_Advanced_Study +
, http://dbpedia.org/resource/Category:Mathematical_logicians +
, http://dbpedia.org/resource/Contract_bridge +
, http://dbpedia.org/resource/Category:1927_births +
, http://dbpedia.org/resource/Raymond_Louis_Wilder +
, http://dbpedia.org/resource/Category:2000_deaths +
, http://dbpedia.org/resource/G%C3%B6del_Lecture +
, http://dbpedia.org/resource/Category:American_logicians +
, http://dbpedia.org/resource/Duke_University +
, http://dbpedia.org/resource/Recursion_theory +
|
http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/University_of_Michigan +
|
http://dbpedia.org/property/awards
|
http://dbpedia.org/resource/G%C3%B6del_Lecture +
|
http://dbpedia.org/property/birthPlace
|
Detroit, Michigan, US
|
http://dbpedia.org/property/deathPlace
|
Durham, North Carolina, US
|
http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Raymond_Louis_Wilder +
|
http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Mathematical_logic +
|
http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Absoluteness +
|
http://dbpedia.org/property/name
|
Joseph Robert Shoenfield
|
http://dbpedia.org/property/residence
|
United States
|
http://dbpedia.org/property/thesisTitle
|
Models of Formal Systems
|
http://dbpedia.org/property/thesisYear
|
1953
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Cite_journal +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Death_date_and_age +
, http://dbpedia.org/resource/Template:Use_mdy_dates +
|
http://dbpedia.org/property/workplaces
|
http://dbpedia.org/resource/Duke_University +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:G%C3%B6del_Lecturers +
, http://dbpedia.org/resource/Category:Duke_University_faculty +
, http://dbpedia.org/resource/Category:Mathematical_logicians +
, http://dbpedia.org/resource/Category:University_of_Michigan_alumni +
, http://dbpedia.org/resource/Category:20th-century_American_mathematicians +
, http://dbpedia.org/resource/Category:2000_deaths +
, http://dbpedia.org/resource/Category:1927_births +
, 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/9940022 +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Joseph_R._Shoenfield?oldid=1054189831&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Joseph_R._Shoenfield +
|
http://xmlns.com/foaf/0.1/name
|
Joseph Robert Shoenfield
|
owl:sameAs |
http://data.bibliotheken.nl/id/thes/p118932683 +
, http://pt.dbpedia.org/resource/Joseph_Robert_Shoenfield +
, http://d-nb.info/gnd/174095988 +
, http://azb.dbpedia.org/resource/%D8%AC%D9%88%D8%B2%D9%81_%D8%A2%D8%B1_%D8%B4%D9%88%D9%86%D9%81%DB%8C%D9%84%D8%AF +
, https://dblp.org/pid/89/6471 +
, https://global.dbpedia.org/id/fFhC +
, http://viaf.org/viaf/9940022 +
, http://www.wikidata.org/entity/Q1707860 +
, http://ko.dbpedia.org/resource/%EC%A1%B0%EC%A7%80%ED%94%84_%EB%A1%9C%EB%B2%84%ED%8A%B8_%EC%88%80%ED%95%84%EB%93%9C +
, http://de.dbpedia.org/resource/Joseph_R._Shoenfield +
, http://fr.dbpedia.org/resource/Joseph_Shoenfield +
, http://dbpedia.org/resource/Joseph_R._Shoenfield +
, http://yago-knowledge.org/resource/Joseph_R._Shoenfield +
|
rdf:type |
http://dbpedia.org/ontology/Scientist +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/ontology/Species +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/ontology/Animal +
, http://www.wikidata.org/entity/Q901 +
, http://schema.org/Person +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/ontology/Person +
, http://www.wikidata.org/entity/Q215627 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://www.wikidata.org/entity/Q5 +
|
rdfs:comment |
Joseph Robert Shoenfield (1927, Detroit – November 15, 2000, Durham, North Carolina) was an American mathematical logician.
, 조지프 로버트 숀필드(영어: Joseph Robert Shoenfield, 1927~2000)는 미국의 수리논리학자이다.
, Joseph Robert Shoenfield (Detroit, 1927 — … Joseph Robert Shoenfield (Detroit, 1927 — Durham, Carolina do Norte, 15 de novembro de 2000) foi um matemático estadunidense. Shoenfield obteve um doutorado na Universidade de Michigan em 1953, orientado por Raymond Louis Wilder, com a tese Models of formal systems. Lecionou desde 1952 na Universidade Duke, onde permaneceu até aposentar-se em 1992. De 1970 a 1973 foi diretor da faculdade de matemática. Em 1956/57 esteve no Instituto de Estudos Avançados de Princeton. Shoenfield trabalhou com teoria da computabilidade, teoria dos modelos e . Seu livro-texto sobre lógica matemática é um clássico.xto sobre lógica matemática é um clássico.
, Joseph Robert Shoenfield, né le 1er mai 1927 à Détroit (Michigan) et mort le 15 novembre 2000 à Durham (Caroline du Nord), est un logicien mathématicien américain.
, Joseph Robert Shoenfield (* 1927 in Detroi … Joseph Robert Shoenfield (* 1927 in Detroit; † 15. November 2000 in Durham (North Carolina)) war ein US-amerikanischer mathematischer Logiker. Shoenfield promovierte 1953 bei Raymond Louis Wilder an der University of Michigan (Models of formal systems). Seit 1952 lehrte er an der Duke University, wo er bis zu seiner Emeritierung 1992 blieb. 1970 bis 1973 war er Vorsitzender der Mathematik-Fakultät. 1956/57 war er am Institute for Advanced Study. 1972 bis 1976 war er Präsident der Association for Symbolic Logic. 1992 war er Gödel-Lecturer.ymbolic Logic. 1992 war er Gödel-Lecturer.
|
rdfs:label |
조지프 로버트 숀필드
, Joseph R. Shoenfield
, Joseph Robert Shoenfield
, Joseph Shoenfield
|