[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_251":252},"routes/_layout",{"_11":171},"routes/entity.$type.$id",{"_11":12,"_13":14,"_15":16,"_17":18,"_19":20,"_21":22,"_23":24,"_25":26,"_27":28},"dehydratedState",{"_72":73,"_74":75},"type","paper","id","paper_W2137317612","section","events","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":47,"_48":-5,"_49":50,"_51":30,"_52":-5,"_53":54,"_55":56,"_57":58,"_59":60,"_61":-5,"_62":63,"_64":-5,"_65":66,"_67":30,"_68":-5},"canonical","https://www.hugmap.com/entity/paper/paper_W2137317612/events","siteBaseUrl","https://www.hugmap.com","sectionCount",0,"jsonLd","{\"@context\":\"https://schema.org\",\"@graph\":[{\"name\":\"On Formally Undecidable Propositions of Principia Mathematica and Related Systems\",\"url\":\"https://www.hugmap.com/entity/paper/paper_W2137317612/events\",\"@type\":\"ScholarlyArticle\",\"headline\":\"On Formally Undecidable Propositions of Principia Mathematica and Related Systems\",\"datePublished\":\"1964-01-01\",\"isPartOf\":{\"@type\":\"Periodical\",\"name\":\"Physics Today\"}},{\"@type\":\"CollectionPage\",\"name\":\"On Formally Undecidable Propositions of Principia Mathematica and Related Systems 相关事件\",\"description\":\"On Formally Undecidable Propositions of Principia Mathematica and Related Systems 在 HugMap 中的相关事件，含结构化关联信息与详情链接。\",\"url\":\"https://www.hugmap.com/entity/paper/paper_W2137317612/events\",\"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=paper\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"On Formally Undecidable Propositions of Principia Mathematica and Related Systems\",\"item\":\"https://www.hugmap.com/entity/paper/paper_W2137317612\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"相关事件\",\"item\":\"https://www.hugmap.com/entity/paper/paper_W2137317612/events\"}]}]}","name","On Formally Undecidable Propositions of Principia Mathematica and Related Systems","nameZh","aliases","description","descriptionZh","status","active","externalIds","{\"openalex\":\"W2137317612\",\"doi\":\"10.1063/1.3051400\"}","properties","source","openalex","createdAt","2026-05-15T14:13:50.222890496","updatedAt","2026-05-21T10:09:45.183508823","doi","10.1063/1.3051400","arxivId","openalexId","W2137317612","title","abstractText","publishedDate","1964-01-01","publishedYear",1964,"venue","Physics Today","citationCount",589,"authors","keywords",[69,70,71],"pdfUrl","topVenue",false,"displayName","displayDescription","Logic, programming, and type systems","History and Theory of Mathematics","Mathematics and Applications","mutations",[],"queries",[76],{"_77":78,"_79":80,"_81":82,"_83":84},"dehydratedAt",1780843180884,"state",{"_86":87,"_88":89,"_90":78,"_91":-5,"_92":26,"_93":26,"_94":26,"_95":-5,"_96":-5,"_97":66,"_35":98,"_99":100},"queryKey",[85,19,14,16],"queryHash","[\"portal\",\"entity\",\"paper\",\"paper_W2137317612\"]","portal","data",{"_19":20,"_101":102,"_103":104,"_18":105,"_106":107,"_108":109,"_61":110},"dataUpdateCount",1,"dataUpdatedAt","error","errorUpdateCount","errorUpdatedAt","fetchFailureCount","fetchFailureReason","fetchMeta","isInvalidated","success","fetchStatus","idle","entityType","Paper","taxonomies",[138,139,140],[],"articles",[],"technologies",[],[111,112,113],{"_15":133,"_29":134,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":135,"_39":-5,"_40":41,"_42":136,"_44":137,"_119":-5,"_51":-5,"_120":-5,"_121":-5,"_122":-5,"_59":-5,"_123":-5,"_124":-5,"_125":-5,"_126":-5,"_127":-5,"_67":134,"_68":-5},{"_15":128,"_29":129,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":130,"_39":-5,"_40":41,"_42":131,"_44":132,"_119":-5,"_51":-5,"_120":-5,"_121":-5,"_122":-5,"_59":-5,"_123":-5,"_124":-5,"_125":-5,"_126":-5,"_127":-5,"_67":129,"_68":-5},{"_15":114,"_29":115,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":116,"_39":-5,"_40":41,"_42":117,"_44":118,"_119":-5,"_51":-5,"_120":-5,"_121":-5,"_122":-5,"_59":-5,"_123":-5,"_124":-5,"_125":-5,"_126":-5,"_127":-5,"_67":115,"_68":-5},"person_A5057870718","Kurt Gödel","{\"openalex\":\"A5057870718\"}","2026-05-15T09:23:11.183405887","2026-05-22T01:14:33.445897487","orcid","affiliation","researchArea","paperCount","homepage","linkedin","twitter","github","hindex","person_A5065306830","Bernard D. Meltzer","{\"openalex\":\"A5065306830\"}","2026-05-15T14:13:50.390467883","2026-05-21T10:09:45.194897194","person_A5109867375","Richard Schlegel","{\"openalex\":\"A5109867375\"}","2026-05-15T14:13:51.180658002","2026-05-21T10:09:45.209629084",{"_15":165,"_29":69,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":166,"_39":-5,"_40":41,"_42":167,"_44":168,"_145":146,"_147":-5,"_148":149,"_150":169,"_152":170,"_154":26,"_155":156,"_157":26,"_158":-5,"_67":69,"_68":-5},{"_15":159,"_29":71,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":160,"_39":-5,"_40":41,"_42":161,"_44":162,"_145":146,"_147":-5,"_148":149,"_150":163,"_152":164,"_154":26,"_155":156,"_157":26,"_158":-5,"_67":71,"_68":-5},{"_15":141,"_29":70,"_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,"_150":151,"_152":153,"_154":26,"_155":156,"_157":26,"_158":-5,"_67":70,"_68":-5},"tax_rd_T12170","{\"openalex_topic\":\"T12170\"}","2026-05-14T02:13:30.34695269","2026-05-23T11:53:36.322915021","taxonomyType","RESEARCH_DOMAIN","code","level",3,"parentId","tax_rd_2614","path","Physical Sciences/Mathematics/Theoretical Computer Science/History and Theory of Mathematics","sortOrder","isLeaf",true,"entityCount","children","tax_rd_T12504","{\"openalex_topic\":\"T12504\"}","2026-05-14T01:04:43.221911005","2026-05-23T10:24:38.24688236","tax_rd_2608","Physical Sciences/Mathematics/Geometry and Topology/Mathematics and Applications","tax_rd_T10126","{\"openalex_topic\":\"T10126\"}","2026-05-14T00:39:43.332380947","2026-05-23T12:37:30.267769669","tax_rd_1702","Physical Sciences/Computer Science/Artificial Intelligence/Logic, programming, and type systems",{"_72":172,"_74":173},[],[174],{"_77":175,"_79":176,"_81":177,"_83":178},1780843180115,{"_86":180,"_88":89,"_90":175,"_91":-5,"_92":26,"_93":26,"_94":26,"_95":-5,"_96":-5,"_97":66,"_35":98,"_99":100},[85,179],"[\"portal\",\"industries\"]","industries",[181,182,183,184,185,186,187,188,189,190,191,192],{"_15":244,"_29":245,"_31":-5,"_32":246,"_33":247,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":196,"_42":-5,"_44":-5,"_145":197,"_147":-5,"_148":89,"_150":198,"_152":248,"_154":26,"_155":66,"_157":26,"_158":-5,"_67":245,"_68":247},{"_15":240,"_29":241,"_31":-5,"_32":-5,"_33":242,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":196,"_42":-5,"_44":-5,"_145":197,"_147":-5,"_148":89,"_150":198,"_152":243,"_154":26,"_155":66,"_157":26,"_158":-5,"_67":241,"_68":242},{"_15":234,"_29":235,"_31":-5,"_32":236,"_33":237,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":196,"_42":-5,"_44":-5,"_145":197,"_147":-5,"_148":89,"_150":198,"_152":238,"_154":26,"_155":66,"_157":26,"_158":-5,"_67":235,"_68":237},{"_15":230,"_29":231,"_31":-5,"_32":-5,"_33":232,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":196,"_42":-5,"_44":-5,"_145":197,"_147":-5,"_148":89,"_150":198,"_152":233,"_154":26,"_155":66,"_157":26,"_158":-5,"_67":231,"_68":232},{"_15":226,"_29":227,"_31":-5,"_32":-5,"_33":228,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":196,"_42":-5,"_44":-5,"_145":197,"_147":-5,"_148":89,"_150":198,"_152":229,"_154":26,"_155":66,"_157":26,"_158":-5,"_67":227,"_68":228},{"_15":220,"_29":221,"_31":-5,"_32":222,"_33":223,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":196,"_42":-5,"_44":-5,"_145":197,"_147":-5,"_148":89,"_150":198,"_152":224,"_154":26,"_155":66,"_157":26,"_158":-5,"_67":221,"_68":223},{"_15":216,"_29":217,"_31":-5,"_32":-5,"_33":218,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":196,"_42":-5,"_44":-5,"_145":197,"_147":-5,"_148":89,"_150":198,"_152":219,"_154":26,"_155":156,"_157":26,"_158":-5,"_67":217,"_68":218},{"_15":212,"_29":213,"_31":-5,"_32":-5,"_33":214,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":196,"_42":-5,"_44":-5,"_145":197,"_147":-5,"_148":89,"_150":198,"_152":215,"_154":26,"_155":66,"_157":26,"_158":-5,"_67":213,"_68":214},{"_15":208,"_29":209,"_31":-5,"_32":-5,"_33":210,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":196,"_42":-5,"_44":-5,"_145":197,"_147":-5,"_148":89,"_150":198,"_152":211,"_154":26,"_155":66,"_157":26,"_158":-5,"_67":209,"_68":210},{"_15":204,"_29":205,"_31":-5,"_32":-5,"_33":206,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":196,"_42":-5,"_44":-5,"_145":197,"_147":-5,"_148":89,"_150":198,"_152":207,"_154":26,"_155":66,"_157":26,"_158":-5,"_67":205,"_68":206},{"_15":200,"_29":201,"_31":-5,"_32":-5,"_33":202,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":196,"_42":-5,"_44":-5,"_145":197,"_147":-5,"_148":89,"_150":198,"_152":203,"_154":26,"_155":66,"_157":26,"_158":-5,"_67":201,"_68":202},{"_15":193,"_29":194,"_31":-5,"_32":-5,"_33":195,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":196,"_42":-5,"_44":-5,"_145":197,"_147":-5,"_148":89,"_150":198,"_152":199,"_154":26,"_155":66,"_157":26,"_158":-5,"_67":194,"_68":195},"tax_ind_smartphone","智能手机","Smartphone","manual","INDUSTRY","tax_ind_root","科技行业/智能手机","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","科技行业/量子计算","tax_ind_blockchain","区块链",[225],"Blockchain","科技行业/区块链","Web3","tax_ind_enterprise","企业软件","Enterprise Software","科技行业/企业软件","tax_ind_security","网络安全","Cybersecurity","科技行业/网络安全","tax_ind_semi","半导体",[239],"Semiconductor","科技行业/半导体","芯片","tax_ind_cloud","云计算","Cloud Computing","科技行业/云计算","tax_ind_ai","人工智能",[249,250],"Artificial Intelligence","科技行业/人工智能","AI","AI 技术","env",{"_253":24},"SITE_BASE_URL"]

<i>On Formally Undecidable Propositions of Principia Mathematica and Related Systems</i> 论文

<i>On Formally Undecidable Propositions of Principia Mathematica and Related Systems</i> · 相关事件