| dbo:abstract
|
- Carl Groos Jockusch Jr. (* 13. Juli 1941 in San Antonio, Texas) ist ein US-amerikanischer Mathematiker und mathematischer Logiker. Jockusch studierte an der Vanderbilt University und am Swarthmore College, an dem er 1963 seinen Bachelor-Abschluss erhielt, und wurde 1966 am Massachusetts Institute of Technology bei Hartley Rogers promoviert (Reducibilities in recursive function theory). 1966/67 war er Instructor an der Northeastern University und 1967 wurde er Assistant Professor an der University of Illinois at Urbana-Champaign, an der er später Professor wurde. 2004 wurde er emeritiert. Er befasst sich mit mathematischer Logik (Berechenbarkeitstheorie, Rekursionstheorie, Reverse Mathematik) mit Anwendungen in Modelltheorie, Kombinatorik und asymptotischen Dichten. 1972 bewies er mit Robert Soare das Low basis theorem in der mathematischen Logik und Berechenbarkeitstheorie. Dazu führten sie eine eigene Forcing-Methode (Jockusch-Soare Forcing) ein. In ihrem Aufsatz von 1972 bewiesen sie noch zwei weitere Basissätze (das R. E. Basis theorem – R.E. für rekursiv aufzählbar – und das hyperimmune-free basis theorem). 1997 wurde er Herausgeber der Proceedings of the American Mathematical Society und 1974/75 war er Herausgeber des Journal of Symbolic Logic. 2014 wurde er Fellow der American Mathematical Society. Für 2023 ist er Gödel-Lecturer (Formalism in Logic). (de)
- Carl Groos Jockusch Jr. (born July 13, 1941, in San Antonio, Texas) is an American mathematician. He graduated from Alamo Heights High School in 1959, attended Vanderbilt University in Nashville, Tennessee, and transferred to Swarthmore College, Pennsylvania in 1960, where he received his B.A. in 1963 with Highest Honors. He then enrolled at the Massachusetts Institute of Technology. He is a member of Phi Beta Kappa and Sigma Xi. In 2014, he became a Fellow of the American Mathematical Society. He is a professor emeritus at the University of Illinois at Urbana–Champaign. In 1972 Jockusch and Robert I. Soare proved the low basis theorem, an important result in mathematical logic with applications to recursion theory and reverse mathematics. (en)
|
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:doctoralAdvisor
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4337 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:birthDate
| |
| dbp:birthPlace
|
- San Antonio, Texas, US (en)
|
| dbp:caption
|
- Carl Jockusch in 1974 (en)
|
| dbp:doctoralAdvisor
| |
| dbp:imagesize
| |
| dbp:name
|
- Carl Groos Jockusch Jr. (en)
|
| dbp:spouse
|
- Elizabeth A. Jockusch (en)
|
| dbp:thesisTitle
|
- Reducibilities in recursive function theory (en)
|
| dbp:thesisUrl
| |
| dbp:thesisYear
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Carl Groos Jockusch Jr. (born July 13, 1941, in San Antonio, Texas) is an American mathematician. He graduated from Alamo Heights High School in 1959, attended Vanderbilt University in Nashville, Tennessee, and transferred to Swarthmore College, Pennsylvania in 1960, where he received his B.A. in 1963 with Highest Honors. He then enrolled at the Massachusetts Institute of Technology. He is a member of Phi Beta Kappa and Sigma Xi. In 2014, he became a Fellow of the American Mathematical Society. He is a professor emeritus at the University of Illinois at Urbana–Champaign. (en)
- Carl Groos Jockusch Jr. (* 13. Juli 1941 in San Antonio, Texas) ist ein US-amerikanischer Mathematiker und mathematischer Logiker. Jockusch studierte an der Vanderbilt University und am Swarthmore College, an dem er 1963 seinen Bachelor-Abschluss erhielt, und wurde 1966 am Massachusetts Institute of Technology bei Hartley Rogers promoviert (Reducibilities in recursive function theory). 1966/67 war er Instructor an der Northeastern University und 1967 wurde er Assistant Professor an der University of Illinois at Urbana-Champaign, an der er später Professor wurde. 2004 wurde er emeritiert. (de)
|
| rdfs:label
|
- Carl Jockusch (de)
- Carl Jockusch (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- Carl Groos Jockusch Jr. (en)
|
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
