[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_272":273},"routes/_layout",{"_11":182},"routes/entity.$type.$id",{"_11":12,"_13":14,"_15":16,"_17":18,"_19":20,"_21":22,"_23":24,"_25":26,"_27":28},"dehydratedState",{"_59":60,"_61":62},"type","person","id","person_A5008417331","section","articles","entity",{"_15":16,"_29":30,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":38,"_39":-5,"_40":41,"_42":43,"_44":45,"_46":-5,"_47":-5,"_48":-5,"_49":-5,"_50":-5,"_51":-5,"_52":-5,"_53":-5,"_54":-5,"_55":-5,"_56":-5,"_57":30,"_58":-5},"canonical","https://www.hugmap.com/entity/person/person_A5008417331/articles","siteBaseUrl","https://www.hugmap.com","sectionCount",0,"jsonLd","{\"@context\":\"https://schema.org\",\"@graph\":[{\"name\":\"Carl G. Jockusch\",\"url\":\"https://www.hugmap.com/entity/person/person_A5008417331/articles\",\"@type\":\"Person\",\"jobTitle\":null},{\"@type\":\"CollectionPage\",\"name\":\"Carl G. Jockusch 相关文章\",\"description\":\"Carl G. Jockusch 在 HugMap 中的相关文章，含结构化关联信息与详情链接。\",\"url\":\"https://www.hugmap.com/entity/person/person_A5008417331/articles\",\"inLanguage\":\"zh-CN\"},{\"@type\":\"BreadcrumbList\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"首页\",\"item\":\"https://www.hugmap.com/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"人物\",\"item\":\"https://www.hugmap.com/search?type=person\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Carl G. Jockusch\",\"item\":\"https://www.hugmap.com/entity/person/person_A5008417331\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"相关文章\",\"item\":\"https://www.hugmap.com/entity/person/person_A5008417331/articles\"}]}]}","name","Carl G. Jockusch","nameZh","aliases","description","descriptionZh","status","active","externalIds","{\"openalex\":\"A5008417331\"}","properties","source","openalex","createdAt","2026-05-20T04:56:55.68183479","updatedAt","2026-05-22T10:17:23.206922523","orcid","title","affiliation","researchArea","paperCount","citationCount","homepage","linkedin","twitter","github","hindex","displayName","displayDescription","mutations",[],"queries",[63],{"_64":65,"_66":67,"_68":69,"_70":71},"dehydratedAt",1780605894828,"state",{"_73":74,"_75":76,"_77":65,"_78":-5,"_79":26,"_80":26,"_81":26,"_82":-5,"_83":-5,"_84":85,"_35":86,"_87":88},"queryKey",[72,19,14,16],"queryHash","[\"portal\",\"entity\",\"person\",\"person_A5008417331\"]","portal","data",{"_19":20,"_89":90,"_91":92,"_93":94,"_95":96,"_97":98,"_99":100,"_18":101},"dataUpdateCount",1,"dataUpdatedAt","error","errorUpdateCount","errorUpdatedAt","fetchFailureCount","fetchFailureReason","fetchMeta","isInvalidated",false,"success","fetchStatus","idle","entityType","Person","taxonomies",[],"papers",[138,139],"companies",[102,103],"events",[],"patents",[],[],{"_15":127,"_29":128,"_31":-5,"_32":129,"_33":-5,"_34":-5,"_35":36,"_37":130,"_39":-5,"_40":41,"_42":131,"_44":132,"_110":111,"_112":-5,"_113":133,"_114":115,"_116":-5,"_117":-5,"_118":-5,"_119":-5,"_120":134,"_121":-5,"_122":-5,"_123":-5,"_57":128,"_58":-5},{"_15":104,"_29":105,"_31":-5,"_32":106,"_33":-5,"_34":-5,"_35":36,"_37":107,"_39":-5,"_40":41,"_42":108,"_44":109,"_110":111,"_112":-5,"_113":-5,"_114":115,"_116":-5,"_117":-5,"_118":-5,"_119":-5,"_120":-5,"_121":-5,"_122":-5,"_123":-5,"_57":105,"_58":-5},"company_I157725225","University of Illinois Urbana-Champaign",[124,125,105,126],"{\"ror\":\"047426m28\",\"openalex\":\"I157725225\",\"wikidata\":\"Q457281\"}","2026-05-14T00:29:43.402926617","2026-06-01T04:18:02.724028355","companyType","UNIVERSITY","foundedDate","headquarters","country","US","employeeCount","fundingStage","totalFunding","valuation","website","stockSymbol","uscc","crunchbaseUrl","Universidad de Illinois en Urbana-Champaign","University of Illinois","Université de l'Illinois à Urbana-Champaign","company_I39422238","University of Illinois Chicago",[128,135,136,137],"{\"ror\":\"02mpq6x41\",\"openalex\":\"I39422238\"}","2026-05-14T00:33:07.297627223","2026-06-01T04:26:40.68036933","Chicago, United States","https://www.uic.edu","University of Illinois at Chicago","University of Illinois at Chicago Circle","Université de l'illinois à chicago",{"_15":168,"_29":169,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":170,"_39":-5,"_40":41,"_42":171,"_44":172,"_145":173,"_147":-5,"_148":174,"_47":169,"_150":175,"_152":176,"_154":177,"_156":157,"_51":178,"_159":-5,"_160":179,"_162":-5,"_164":85,"_57":169,"_58":-5},{"_15":140,"_29":141,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":142,"_39":-5,"_40":41,"_42":143,"_44":144,"_145":146,"_147":-5,"_148":149,"_47":141,"_150":151,"_152":153,"_154":155,"_156":157,"_51":158,"_159":-5,"_160":161,"_162":163,"_164":85,"_57":141,"_58":-5},"paper_W2037662783","Semirecursive sets and positive reducibility","{\"openalex\":\"W2037662783\",\"doi\":\"10.1090/s0002-9947-1968-0220595-7\"}","2026-05-22T10:17:23.199006053","2026-05-22T10:17:23.199008288","doi","10.1090/s0002-9947-1968-0220595-7","arxivId","openalexId","W2037662783","abstractText","If A is a set, A is N-A, where Ais the set of all natural numbers.A is said to be coimmune if A is immune, and similarly for other properties of sets.","publishedDate","1968-01-01","publishedYear",1968,"venue","Transactions of the American Mathematical Society",251,"authors","keywords",[165,166,167],"pdfUrl","https://www.ams.org/tran/1968-131-02/S0002-9947-1968-0220595-7/S0002-9947-1968-0220595-7.pdf","topVenue","Computability, Logic, AI Algorithms","Advanced Topology and Set Theory","Numerical Methods and Algorithms","paper_W1554860413","Π⁰₁ classes and degrees of theories","{\"openalex\":\"W1554860413\",\"doi\":\"10.1090/s0002-9947-1972-0316227-0\"}","2026-05-20T04:56:55.221059272","2026-05-20T04:56:55.233441515","10.1090/s0002-9947-1972-0316227-0","W1554860413","Using the methods of recursive function theory we derive several results about the degrees of unsolvability of members of certain Π 1 0 \\Pi _1^0 classes of functions (i.e. degrees of branches of certain recursive trees). As a special case we obtain information on the degrees of consistent extensions of axiomatizable theories, in particular effectively inseparable theories such as Peano arithmetic, P {\\mathbf {P}} . For example: THEOREM 1. If a degree a {\\mathbf {a}} contains a complete extension of P {\\mathbf {P}} , then every countable partially ordered set can be embedded in the ordering of degrees ⩽ a \\leqslant {\\mathbf {a}} . (This strengthens a result of Scott and Tennenbaum that no such degree a {\\mathbf {a}} is a minimal degree.) THEOREM 2. If T {\\mathbf {T}} is an axiomatizable, essentially undecidable theory, and if { a n } \\{ {{\\mathbf {a}}_n}\\} is a countable sequence of nonzero degrees, then T {\\mathbf {T}} has continuum many complete extensions whose degrees are pairwise incomparable and incomparable with each a n {{\\mathbf {a}}_n} . THEOREM 3. There is a complete extension T ","1972-01-01",1972,352,[165,180,181],"semigroups and automata theory","Logic, programming, and type systems",{"_59":183,"_61":184},[],[185],{"_64":186,"_66":187,"_68":188,"_70":189},1780605893655,{"_73":191,"_75":76,"_77":186,"_78":-5,"_79":26,"_80":26,"_81":26,"_82":-5,"_83":-5,"_84":85,"_35":86,"_87":88},[72,190],"[\"portal\",\"industries\"]","industries",[192,193,194,195,196,197,198,199,200,201,202,203],{"_15":265,"_29":266,"_31":-5,"_32":267,"_33":268,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":207,"_42":-5,"_44":-5,"_208":209,"_210":-5,"_211":76,"_212":213,"_214":269,"_216":26,"_217":85,"_218":26,"_219":-5,"_57":266,"_58":268},{"_15":261,"_29":262,"_31":-5,"_32":-5,"_33":263,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":207,"_42":-5,"_44":-5,"_208":209,"_210":-5,"_211":76,"_212":213,"_214":264,"_216":26,"_217":85,"_218":26,"_219":-5,"_57":262,"_58":263},{"_15":255,"_29":256,"_31":-5,"_32":257,"_33":258,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":207,"_42":-5,"_44":-5,"_208":209,"_210":-5,"_211":76,"_212":213,"_214":259,"_216":26,"_217":85,"_218":26,"_219":-5,"_57":256,"_58":258},{"_15":251,"_29":252,"_31":-5,"_32":-5,"_33":253,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":207,"_42":-5,"_44":-5,"_208":209,"_210":-5,"_211":76,"_212":213,"_214":254,"_216":26,"_217":85,"_218":26,"_219":-5,"_57":252,"_58":253},{"_15":247,"_29":248,"_31":-5,"_32":-5,"_33":249,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":207,"_42":-5,"_44":-5,"_208":209,"_210":-5,"_211":76,"_212":213,"_214":250,"_216":26,"_217":85,"_218":26,"_219":-5,"_57":248,"_58":249},{"_15":241,"_29":242,"_31":-5,"_32":243,"_33":244,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":207,"_42":-5,"_44":-5,"_208":209,"_210":-5,"_211":76,"_212":213,"_214":245,"_216":26,"_217":85,"_218":26,"_219":-5,"_57":242,"_58":244},{"_15":236,"_29":237,"_31":-5,"_32":-5,"_33":238,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":207,"_42":-5,"_44":-5,"_208":209,"_210":-5,"_211":76,"_212":213,"_214":239,"_216":26,"_217":240,"_218":26,"_219":-5,"_57":237,"_58":238},{"_15":232,"_29":233,"_31":-5,"_32":-5,"_33":234,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":207,"_42":-5,"_44":-5,"_208":209,"_210":-5,"_211":76,"_212":213,"_214":235,"_216":26,"_217":85,"_218":26,"_219":-5,"_57":233,"_58":234},{"_15":228,"_29":229,"_31":-5,"_32":-5,"_33":230,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":207,"_42":-5,"_44":-5,"_208":209,"_210":-5,"_211":76,"_212":213,"_214":231,"_216":26,"_217":85,"_218":26,"_219":-5,"_57":229,"_58":230},{"_15":224,"_29":225,"_31":-5,"_32":-5,"_33":226,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":207,"_42":-5,"_44":-5,"_208":209,"_210":-5,"_211":76,"_212":213,"_214":227,"_216":26,"_217":85,"_218":26,"_219":-5,"_57":225,"_58":226},{"_15":220,"_29":221,"_31":-5,"_32":-5,"_33":222,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":207,"_42":-5,"_44":-5,"_208":209,"_210":-5,"_211":76,"_212":213,"_214":223,"_216":26,"_217":85,"_218":26,"_219":-5,"_57":221,"_58":222},{"_15":204,"_29":205,"_31":-5,"_32":-5,"_33":206,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":207,"_42":-5,"_44":-5,"_208":209,"_210":-5,"_211":76,"_212":213,"_214":215,"_216":26,"_217":85,"_218":26,"_219":-5,"_57":205,"_58":206},"tax_ind_smartphone","智能手机","Smartphone","manual","taxonomyType","INDUSTRY","code","level","parentId","tax_ind_root","path","科技行业/智能手机","sortOrder","isLeaf","entityCount","children","tax_ind_robot","机器人","Robotics","科技行业/机器人","tax_ind_wearable","智能穿戴","Smart Wearables","科技行业/智能穿戴","tax_ind_energy","新能源与智能制造","New Energy & Smart Manufacturing","科技行业/新能源与智能制造","tax_ind_biotech","生物科技","Biotech","科技行业/生物科技","tax_ind_quantum","量子计算","Quantum Computing","科技行业/量子计算",true,"tax_ind_blockchain","区块链",[246],"Blockchain","科技行业/区块链","Web3","tax_ind_enterprise","企业软件","Enterprise Software","科技行业/企业软件","tax_ind_security","网络安全","Cybersecurity","科技行业/网络安全","tax_ind_semi","半导体",[260],"Semiconductor","科技行业/半导体","芯片","tax_ind_cloud","云计算","Cloud Computing","科技行业/云计算","tax_ind_ai","人工智能",[270,271],"Artificial Intelligence","科技行业/人工智能","AI","AI 技术","env",{"_274":24},"SITE_BASE_URL"]

Carl G. Jockusch 人物

Carl G. Jockusch · 相关文章