{ "personId": "alonzo-church", "uid": "SL-0242", "name": "阿隆佐·邱奇", "version": "V2研究贡献账", "updatedAt": "2026-09-15", "displayScore": "6.24", "exactScore": "6.242677929901880003904668572056656174963136182226032720055486969429195068227680727243799473592512194", "totalLight": "1321.327302", "exactTotalLight": "1321.327302226113849898127319283422450157656160932265863008179888077349108428039952639880025670231350", "scopeNote": "本轮当前已列14项有限研究账；M与归功份额为可修订判断。未覆盖内容和未核清的负面作用不按零处理，具体缺口见逐项说明。", "formula": { "q": "Q = 10^(M/2) − 1", "light": "Lᵢ = aᵢ × Qᵢ", "total": "L = Σ Lᵢ", "score": "S = 2 × log₁₀(1 + L)" }, "items": [ { "id": "OUT-SL0242-LAMBDA-CONVERSION-DEFINABILITY-METHOD", "title": "λ转换与可定义性的方法体系", "year": "1932–1941", "summary": "以函数抽象与替换构造形式计算方法，研究转换、正规形和可定义性。", "M": "6.0", "budget": [ { "actor": "阿隆佐·邱奇", "actorId": "SL-0242", "type": "PERSON", "share": "0.60" }, { "actor": "斯蒂芬·克莱尼", "actorId": "SL-1823", "type": "PERSON", "share": "0.20" }, { "actor": "约翰·巴克利·罗瑟", "actorId": "EXT-NAME:J-BARKLEY-ROSSER", "type": "PERSON", "share": "0.10" }, { "actor": "摩西·申芬克尔", "actorId": "EXT-NAME:MOSES-SCHONFINKEL", "type": "PERSON", "share": "0.05" }, { "actor": "未分配", "actorId": "CHURCH-LAMBDA-METHOD::UNALLOCATED", "type": "UNALLOCATED", "share": "0.05" } ], "mReason": "λ转换提供独立、可复用的形式计算工具；只计方法体系，不把后来的编程语言全部归入。", "aReason": "完整归功预算：阿隆佐·邱奇（60.00%）：组织λ转换与可定义性体系。；斯蒂芬·克莱尼（20.00%）：转换性质和可定义性的重要共同输入。；约翰·巴克利·罗瑟（10.00%）：转换与正规形证明的共同输入。；摩西·申芬克尔（5.00%）：函数处理的前驱方法。；未分配（5.00%）：未核辅助输入。", "overlapNote": "转换与正规形并入同一方法族；共同不可判定结论不另计第三项。", "status": "缺证暂估", "missing": "原1936共同论文及具体辅助份额仍待补证。", "sources": [ { "label": "邱奇《λ转换演算》", "url": "https://compcalc.github.io/public/church/church_calculi_1941.pdf" } ], "share": "0.60", "exactLight": "599.40", "light": "599.400000", "standaloneScore": "5.56", "lightSharePercent": "45.3635" }, { "id": "OUT-SL0242-C04-BOUNDED-DELIVERY", "title": "简单类型论的λ表述", "year": "1940", "summary": "将λ表达式纳入简单类型体系，组织逻辑规则和数学表达。", "M": "5.0", "budget": [ { "actor": "阿隆佐·邱奇", "actorId": "SL-0242", "type": "PERSON", "share": ".60" }, { "actor": "类型论与数理逻辑前驱", "actorId": "C04::TYPE-LOGIC-PREDECESSORS", "type": "PREDECESSOR", "share": ".20" }, { "actor": "斯蒂芬·克莱尼", "actorId": "SL-1823", "type": "PERSON", "share": ".07" }, { "actor": "约翰·巴克利·罗瑟", "actorId": "EXT-NAME:J-BARKLEY-ROSSER", "type": "PERSON", "share": ".05" }, { "actor": "摩西·申芬克尔", "actorId": "EXT-NAME:MOSES-SCHONFINKEL", "type": "PERSON", "share": ".03" }, { "actor": "未分配", "actorId": "C04::UNALLOCATED", "type": "UNALLOCATED", "share": ".05" } ], "mReason": "计入有类型系统的独立表达与推理能力；无类型λ方法及后继验证软件另行区分。", "aReason": "完整归功预算：阿隆佐·邱奇（60.00%）：组织此λ表述及形式发展。；类型论与数理逻辑前驱（20.00%）：原文明确Whitehead/Russell、Hilbert/Ackermann、Hilbert/Bernays及简单类型前史；未逐人量分。；斯蒂芬·克莱尼（7.00%）：原文p59采用Kleene前驱函数。；约翰·巴克利·罗瑟（5.00%）：原文p68归属加法与乘法定义。；摩西·申芬克尔（3.00%）：原文p57多变量函数处理前史。；未分配（5.00%）：未逐一核实的辅助输入；不把未读脚注武断分给具体人。", "overlapNote": "排除无类型转换性质、判定结论及后继HOL系统工程；同一论文内部算术展示不另立全额分。", "status": "缺证暂估", "missing": "已读原文窗口；部分公式及前驱个人份额未完整复核。", "sources": [ { "label": "邱奇：简单类型论", "url": "https://www.classes.cs.uchicago.edu/archive/2007/spring/32001-1/papers/church-1940.pdf" } ], "share": "0.60", "exactLight": "189.1366596101027599199336126659631120231733083595130096114502911675556663183542932806548865027580177", "light": "189.136660", "standaloneScore": "4.56", "lightSharePercent": "14.3141" }, { "id": "OUT-SL0242-CONSTRUCTIVE-ORDINAL-NOTATION", "title": "构造序数的有效记号与可定义性", "year": "1937–1938", "summary": "与克莱尼发展构造序数的有效记号和可定义性研究。", "M": "5.0", "budget": [ { "actor": "阿隆佐·邱奇", "actorId": "SL-0242", "type": "PERSON", "share": ".45" }, { "actor": "斯蒂芬·克莱尼", "actorId": "SL-1823", "type": "PERSON", "share": ".40" }, { "actor": "序数与形式方法前驱", "actorId": "C05::ORDINAL-AND-FORMAL-METHOD-PREDECESSORS", "type": "PREDECESSOR", "share": ".10" }, { "actor": "未分配", "actorId": "C05::UNALLOCATED", "type": "UNALLOCATED", "share": ".05" } ], "mReason": "有效记号使序数研究与形式计算相连；计入共同方法及整理，不按冠名单独加分。", "aReason": "完整归功预算：阿隆佐·邱奇（45.00%）：共同形式定义及1938构造性整理；份额不是根据冠名自动均分。；斯蒂芬·克莱尼（40.00%）：共同定义、性质及文中明确的等价性证明输入。；序数与形式方法前驱（10.00%）：既有序数及形式方法基础，逐人角色仍待核。；未分配（5.00%）：未核辅助输入保留。", "overlapNote": "1937共同定义与1938解释修正合为一个成果族；不重复基础转换规则，也不领取后来的整个序数逻辑。", "status": "缺证暂估", "missing": "已读第三方原文转录；原始扫描与1937共同论文仍待核读。", "sources": [ { "label": "邱奇原文转录：构造性第二数类", "url": "https://paperzz.com/doc/9357443/224-the-constructive-second-number" } ], "share": "0.45", "exactLight": "141.8524947075770699399502094994723340173799812696347572085877183756667497387657199604911648770685133", "light": "141.852495", "standaloneScore": "4.31", "lightSharePercent": "10.7356" }, { "id": "OUT-SL0242-RECURSIVE-ARITHMETIC-CIRCUIT-SYNTHESIS", "title": "递归算术下的电路综合方法与问题表述", "year": "1957–1962", "summary": "以递归算术表述电路综合问题，并给出部分情形的解法。", "M": "4.5", "budget": [ { "actor": "阿隆佐·邱奇", "actorId": "SL-0242", "type": "PERSON", "share": ".65" }, { "actor": "J. B. 赖特", "actorId": "EXT-NAME:J-B-WRIGHT", "type": "PERSON", "share": ".10" }, { "actor": "索拉尔夫·斯科伦", "actorId": "EXT-NAME:THORALF-SKOLEM", "type": "PREDECESSOR", "share": ".10" }, { "actor": "形式电路与逻辑方法前驱", "actorId": "C11::FORMAL-CIRCUIT-METHOD-PREDECESSORS", "type": "PREDECESSOR", "share": ".08" }, { "actor": "未分配", "actorId": "C11::UNALLOCATED", "type": "UNALLOCATED", "share": ".07" } ], "mReason": "计入有界综合方法及问题表述；不把其他研究者的解法或尚未解决的一般问题视为本人完成。", "aReason": "完整归功预算：阿隆佐·邱奇（65.00%）：问题表述及受限递归算术的部分综合解法，p29明确第一情形作者归属。；J. B. 赖特（10.00%）：p29明确缩短综合算法的修改已纳入[7]。；索拉尔夫·斯科伦（10.00%）：递归算术前史，1957首段及1962参考[19]支持。；形式电路与逻辑方法前驱（8.00%）：既有形式电路与逻辑方法输入，个体细分待审。；未分配（7.00%）：尚未具名的辅助输入。", "overlapNote": "1957讲稿/1960出版与1962总结连为一项；Case1/2等内部解法先合并，不每个情形另给完整M。", "status": "缺证暂估", "missing": "已核问题范围、解法归属及参考文献；部分辅助输入仍未具名。", "sources": [ { "label": "国际数学家大会：邱奇论文，印刷页23–35", "url": "https://www.mathunion.org/fileadmin/ICM/Proceedings/ICM1962.1/ICM1962.1.ocr.pdf" } ], "share": "0.65", "exactLight": "114.9381616525299820796523776875245149078263842161465982707689969804596223000670973185195259531156401", "light": "114.938162", "standaloneScore": "4.13", "lightSharePercent": "8.6987" }, { "id": "OUT-SL0242-SENSE-DENOTATION-LOGIC", "title": "意义与指称的形式逻辑研究", "year": "1951–1993", "summary": "以形式系统研究表达式的意义、指称及其关系。", "M": "4.5", "budget": [ { "actor": "阿隆佐·邱奇", "actorId": "SL-0242", "type": "PERSON", "share": ".65" }, { "actor": "戈特洛布·弗雷格", "actorId": "EXT-NAME:GOTTLOB-FREGE", "type": "PREDECESSOR", "share": ".20" }, { "actor": "逻辑与语义学前驱", "actorId": "C06::LOGIC-AND-SEMANTICS-PREDECESSORS", "type": "PREDECESSOR", "share": ".10" }, { "actor": "未分配", "actorId": "C06::UNALLOCATED", "type": "UNALLOCATED", "share": ".05" } ], "mReason": "计入持续发展的专门语义方法；多次修订合为一族，不逐篇累加。", "aReason": "完整归功预算：阿隆佐·邱奇（65.00%）：持续组织和修订该形式逻辑方案。；戈特洛布·弗雷格（20.00%）：意义与指称区分的明确思想前史。；逻辑与语义学前驱（10.00%）：其他逻辑与语义前史，原文未逐篇核读前不武断细分。；未分配（5.00%）：其他输入尚未识别。", "overlapNote": "1951及后续修订先合为同一有界方法族，不按论文或Alternative编号累加；类型工具本身不重复记入。", "status": "缺证暂估", "missing": "所据为后继作者论文中的比较；邱奇原系列论文尚待补齐。", "sources": [ { "label": "莫斯科瓦基斯：意义与指称研究", "url": "https://www.math.ucla.edu/~ynm/papers/frege.pdf" } ], "share": "0.65", "exactLight": "114.9381616525299820796523776875245149078263842161465982707689969804596223000670973185195259531156401", "light": "114.938162", "standaloneScore": "4.13", "lightSharePercent": "8.6987" }, { "id": "OUT-SL0006-1939-ORDINAL-LOGICS-ORACLE-FRAMEWORK", "title": "序数逻辑与神谕框架", "year": "1939", "summary": "", "M": "5.4", "budget": [ { "actor": "艾伦·图灵", "actorId": "SL-0006", "type": "PERSON", "share": "0.8200" }, { "actor": "阿隆佐·邱奇", "actorId": "SL-0242", "type": "PREDECESSOR", "share": "0.1000" }, { "actor": "斯蒂芬·克莱尼", "actorId": "SL-1823", "type": "PREDECESSOR", "share": "0.0500" }, { "actor": "未分配", "actorId": "ORDINAL1939::UNALLOCATED", "type": "UNALLOCATED", "share": "0.0300" } ], "mReason": "序数进展与神谕机把形式系统的可证明性边界转为可扩展框架，形成重要的基础逻辑能力；不把后来的递归论全体成果计入。", "aReason": "邱奇在此成果中的归功份额为10.0000%。图灵给出序数逻辑与神谕框架的核心构造；Church 与 Kleene 的可计算性和递归论输入被明确保留。", "overlapNote": "", "status": "已纳入研究估分", "missing": "沿用既有来源和有限主要族评估；未穷尽持续使用、独立替代路径和前驱贡献证据。本次修订并未重新全文核读所有原作。", "sources": [ { "label": "图灵档案：Systems of logic based on ordinals（AMT-B-15）", "url": "https://turingarchive.kings.cam.ac.uk/publications-lectures-and-talks-amtb/amt-b-15" } ], "share": "0.1000", "exactLight": "50.01872336272722850015541868849457680604719898328192639296974558890112556888306889597705395481420705", "light": "50.018723", "standaloneScore": "3.42", "lightSharePercent": "3.7855" }, { "id": "OUT-SL0006-COMPUTABILITY-UNIVERSAL-MACHINE-DECISION-LIMIT", "title": "可计算性的机器表示与通用模拟", "year": "1936", "summary": "", "M": "6", "budget": [ { "actor": "艾伦·图灵", "actorId": "SL-0006", "type": "PERSON", "share": "0.68" }, { "actor": "阿隆佐·邱奇", "actorId": "SL-0242", "type": "PERSON", "share": "0.04" }, { "actor": "希尔伯特、阿克曼、哥德尔等逻辑前驱", "actorId": "TURING-1936-COMPUTABILITY-UNIVERSAL-MACHINE-DECISION-LIMIT::HILBERT_ACKERMANN_GODEL_AND_LOGICAL_FOUNDATIONS_PREDECESSORS", "type": "PREDECESSOR", "share": "0.09" }, { "actor": "马克斯·纽曼", "actorId": "SL-1811", "type": "PERSON", "share": "0.06" }, { "actor": "人工计算、电传与有限符号操作实践", "actorId": "TURING-1936-COMPUTABILITY-UNIVERSAL-MACHINE-DECISION-LIMIT::HUMAN_CALCULATOR_TELEPRINTER_AND_FINITE_SYMBOLIC_PROCEDURE_INPUTS", "type": "PREDECESSOR", "share": "0.04" }, { "actor": "学术呈现及期刊发表支持", "actorId": "TURING-1936-COMPUTABILITY-UNIVERSAL-MACHINE-DECISION-LIMIT::CONTEMPORARY_ACADEMIC_PRESENTATION_AND_JOURNAL_PUBLICATION_SUPPORT", "type": "INSTITUTION", "share": "0.04" }, { "actor": "未分配", "actorId": "TURING-1936-COMPUTABILITY-UNIVERSAL-MACHINE-DECISION-LIMIT::UNKNOWN_RESIDUAL_TURING_1936_COMPUTABILITY", "type": "UNALLOCATED", "share": "0.05" } ], "mReason": "以机器形式表示有限符号过程并构造通用模拟，提供可复用的计算方法；界限论证作为该方法的验证，不重复计入共同不可判定结论。", "aReason": "邱奇在此成果中的归功份额为4.00%。图灵的机器构造占68%；邱奇的λ方法关系输入占4%；逻辑前驱9%、马克斯·纽曼6%、人工计算与符号操作实践4%、学术发表支持4%、未分配5%。归功比例为可修订的研究判断。", "overlapNote": "与邱奇的λ转换方法分别计入独立方法交付；共同判定结论和两种形式的等价关系不再另列第三项全额贡献。", "status": "已纳入研究估分", "missing": "沿用既有来源和有限主要族评估；未穷尽持续使用、独立替代路径和前驱贡献证据。本次修订并未重新全文核读所有原作。", "sources": [ { "label": "Turing Archive, On Computable Numbers", "url": "https://turingarchive.kings.cam.ac.uk/publications-lectures-and-talks-amtb/amt-b-12" } ], "share": "0.04", "exactLight": "39.96", "light": "39.960000", "standaloneScore": "3.22", "lightSharePercent": "3.0242" }, { "id": "OUT-SL0242-C14-BOUNDED-METHOD", "title": "含全域集合的模型构造", "year": "1974", "summary": "构造含全域集合的模型，研究相关集合论的一致性。", "M": "3.5", "budget": [ { "actor": "阿隆佐·邱奇", "actorId": "SL-0242", "type": "PERSON", "share": "0.65" }, { "actor": "公理化与模型方法前驱", "actorId": "C14::METHOD-PREDECESSORS", "type": "PREDECESSOR", "share": "0.25" }, { "actor": "未分配", "actorId": "C14::UNALLOCATED", "type": "UNALLOCATED", "share": "0.10" } ], "mReason": "计入专门模型构造的研究价值；区分Oswald的独立发现，不计后继作者新增定理。", "aReason": "完整归功预算：阿隆佐·邱奇（65.00%）：本人有界构造与论证；非全部领域贡献。；公理化与模型方法前驱（25.00%）：既有公理化与模型方法输入，尚未逐人量定。；未分配（10.00%）：原论文完整角色链尚未核实。", "overlapNote": "仅Church具体模型与相对一致性构造；独立于λ、序数和内涵语义。Oswald独立发现作为对照，不误作Church上游合作者；不独占两人共有的一般技术，不计Forster和Button新增定理。 将来Oswald入榜须联合审理共同技术价值，不得两人各领取共有部分全额；Button仅为后继摘要，不能替代原作证据。", "status": "缺证暂估", "missing": "已读后继作者的构造重述；邱奇1974原件和完整角色链仍待补。", "sources": [ { "label": "福斯特：邱奇的全域集合论", "url": "https://www.dpmms.cam.ac.uk/~tef10/church2001.pdf" } ], "share": "0.65", "exactLight": "35.90218613737269022567181758547128004543631780141495816530981254283243196179908517888076899420431988", "light": "35.902186", "standaloneScore": "3.13", "lightSharePercent": "2.7171" }, { "id": "OUT-SL0242-C10A-BOUNDED-METHOD", "title": "不可冗余公理组的条件与整数体系例示", "year": "1925–1926", "summary": "研究不可冗余公理组的条件，并给出整数体系的例示。", "M": "2.5", "budget": [ { "actor": "阿隆佐·邱奇", "actorId": "SL-0242", "type": "PERSON", "share": "0.65" }, { "actor": "公理化方法前驱", "actorId": "C10A::METHOD-PREDECESSORS", "type": "PREDECESSOR", "share": "0.25" }, { "actor": "未分配", "actorId": "C10A::UNALLOCATED", "type": "UNALLOCATED", "share": "0.10" } ], "mReason": "按局部公理化方法暂估；条件陈述不意味着解决一般公理独立性的算法问题。", "aReason": "完整归功预算：阿隆佐·邱奇（65.00%）：本人有界构造与论证；非全部领域贡献。；公理化方法前驱（25.00%）：既有公理化与模型方法输入，尚未逐人量定。；未分配（10.00%）：原论文完整角色链尚未核实。", "overlapNote": "1925及1926同题线索暂合一方法族。只计报告所述判别与整数体系交付；不含1927选择公理论文，不声称解决一般公理独立性判定。 同期会议摘要不等于Transactions原论文；条件陈述不宣称一般算法。", "status": "缺证暂估", "missing": "所据为同期会议摘要；原论文全文、后续增量和具体前驱份额待核。", "sources": [ { "label": "美国数学会1925会议报告，第226页条目55", "url": "https://community.ams.org/journals/bull/1925-31-05/S0002-9904-1925-04035-5/S0002-9904-1925-04035-5.pdf" } ], "share": "0.65", "exactLight": "10.90881616525299820796523776875245149078263842161465982707689969804596223000670973185195259531156401", "light": "10.908816", "standaloneScore": "2.15", "lightSharePercent": "0.8256" }, { "id": "OUT-SL0242-C08-BOUNDED-DELIVERY", "title": "逻辑期刊的编辑与书评组织", "year": "1936–1979", "summary": "长期承担符号逻辑期刊的研究编辑、书评及文献组织。", "M": "2.5", "budget": [ { "actor": "阿隆佐·邱奇", "actorId": "SL-0242", "type": "PERSON", "share": ".55" }, { "actor": "书评作者及学术编辑", "actorId": "C08::REVIEWERS-AND-EDITORS", "type": "TEAM", "share": ".20" }, { "actor": "符号逻辑协会", "actorId": "INSTITUTION:ASSOCIATION-FOR-SYMBOLIC-LOGIC", "type": "INSTITUTION", "share": ".10" }, { "actor": "书评办公室工作人员", "actorId": "C08::REVIEWS-OFFICE-STAFF", "type": "TEAM", "share": ".08" }, { "actor": "加州大学洛杉矶分校", "actorId": "INSTITUTION:UCLA", "type": "INSTITUTION", "share": ".04" }, { "actor": "未分配", "actorId": "C08::UNALLOCATED", "type": "UNALLOCATED", "share": ".03" } ], "mReason": "评价持续的学术编辑服务；期刊论文的原创成果属于各作者，不计入编辑个人。", "aReason": "完整归功预算：阿隆佐·邱奇（55.00%）：长期编辑与书评组织。；书评作者及学术编辑（20.00%）：限外部书评作者及其他学术编辑的评价劳动，不含本条另列的办公室行政制作。；符号逻辑协会（10.00%）：期刊组织载体。；书评办公室工作人员（8.00%）：限办公室行政、整理、制作服务，不含另列的学术书评判断；同一人若兼任也须按不同劳动去重。；加州大学洛杉矶分校（4.00%）：纪念明确迁校后支持书评办公室。；未分配（3.00%）：其他未量定支持。", "overlapNote": "创刊、编辑、书评和相关文献整理先合一服务链；原创性书评若另立成果，须从此链明确扣除重叠价值。", "status": "缺证暂估", "missing": "合作者分工及各卷具体工作量未逐一核实。", "sources": [ { "label": "恩德顿：邱奇纪念文", "url": "https://www.cambridge.org/core/services/aop-cambridge-core/content/view/EDB7DCE04575AF06CCC94E95B3DD0F72/S1079898600008040a.pdf/div-class-title-in-memoriam-alonzo-church-1903-1995-div.pdf" } ], "share": "0.55", "exactLight": "9.230536755214075406739816573559766646046847895212404469065068975269660348467215926951652196032861852", "light": "9.230537", "standaloneScore": "2.02", "lightSharePercent": "0.6986" }, { "id": "OUT-SL0242-C07-BOUNDED-DELIVERY", "title": "数学逻辑教材的组织与传播", "year": "1944–1956", "summary": "编写数学逻辑教材，系统组织概念、符号和论证。", "M": "2.2", "budget": [ { "actor": "阿隆佐·邱奇", "actorId": "SL-0242", "type": "PERSON", "share": ".65" }, { "actor": "教材所综合的逻辑研究者", "actorId": "C07::UNDERLYING-LOGICIANS", "type": "PREDECESSOR", "share": ".20" }, { "actor": "普林斯顿大学出版社", "actorId": "INSTITUTION:PRINCETON-UNIVERSITY-PRESS", "type": "INSTITUTION", "share": ".10" }, { "actor": "未分配", "actorId": "C07::UNALLOCATED", "type": "UNALLOCATED", "share": ".05" } ], "mReason": "计入教材的知识组织与传播服务，不重复书中原创定理，也不计未完成的第二卷。", "aReason": "完整归功预算：阿隆佐·邱奇（65.00%）：编写和组织逻辑知识。；教材所综合的逻辑研究者（20.00%）：教材所综合既有研究，逐章归属未完成。；普林斯顿大学出版社（10.00%）：已核实际出版渠道。；未分配（5.00%）：具体校订及制作未具名。", "overlapNote": "1944、1956及再版视为同一教材发展链；不另计未完成第二卷；不再次领取书中原创定理或同一课堂交付。", "status": "缺证暂估", "missing": "出版社与纪念文支持出版和传播；正文及具体课程采用记录待补。", "sources": [ { "label": "普林斯顿大学出版社：邱奇教材", "url": "https://assets.press.princeton.edu/about_pup/PUP100/book/2bChurch.pdf" } ], "share": "0.65", "exactLight": "7.533015176662086867755701691572703939608513161535051949201499626923209502586263156786831280793650105", "light": "7.533015", "standaloneScore": "1.86", "lightSharePercent": "0.5701" }, { "id": "OUT-SL0242-C13-ENCYCLOPEDIA-EXPOSITION", "title": "百科全书的数学与逻辑撰稿及咨询编辑", "year": "1956–1972", "summary": "为百科全书撰写数学与逻辑内容，并承担咨询编辑。", "M": "1.6", "budget": [ { "actor": "阿隆佐·邱奇", "actorId": "SL-0242", "type": "PERSON", "share": "0.60" }, { "actor": "数学与逻辑知识前驱", "actorId": "C13::KNOWLEDGE-PREDECESSORS", "type": "PREDECESSOR", "share": "0.20" }, { "actor": "大英百科全书出版体系", "actorId": "INSTITUTION:ENCYCLOPAEDIA-BRITANNICA", "type": "INSTITUTION", "share": "0.15" }, { "actor": "未分配", "actorId": "C13::UNALLOCATED", "type": "UNALLOCATED", "share": "0.05" } ], "mReason": "仅暂估参考知识编写与咨询服务；教材文字如被复用，只计新增适配劳动。", "aReason": "完整归功预算：阿隆佐·邱奇（60.00%）：档案目录明确本人撰稿和咨询编辑。；数学与逻辑知识前驱（20.00%）：所综合的既有数学与逻辑知识；未逐条定位作者。；大英百科全书出版体系（15.00%）：百科出版与编辑组织载体；不另重复给未具名编辑个人。；未分配（5.00%）：具体协助输入未明。", "overlapNote": "只计参考条目的独立编写与咨询交付。排除教材、期刊书评和原始定理；同一文字再版不逐年累加。 若条目复用教材文字，仅计额外适配服务，不重复原编写劳动；目录不证明逐条分工已核。", "status": "缺证暂估", "missing": "档案目录证明工作存在；条目正文、具体分工与传播效果待补。", "sources": [ { "label": "普林斯顿邱奇档案目录", "url": "https://findingaids.library.upenn.edu/records/PRIN_MUDD_C0948" } ], "share": "0.60", "exactLight": "3.185744066881159496606160819734063188037671543129372347166377173000969659786120845437484406461913589", "light": "3.185744", "standaloneScore": "1.24", "lightSharePercent": "0.2411" }, { "id": "OUT-SL0242-C09-BOUNDED-DELIVERY", "title": "逻辑教学与博士培养", "year": "1929–1990", "summary": "在普林斯顿和加州大学洛杉矶分校授课、指导博士研究。", "M": "1.6", "budget": [ { "actor": "阿隆佐·邱奇", "actorId": "SL-0242", "type": "PERSON", "share": ".55" }, { "actor": "接受指导的博士生", "actorId": "C09::DOCTORAL-STUDENTS", "type": "TEAM", "share": ".25" }, { "actor": "普林斯顿大学", "actorId": "INSTITUTION:PRINCETON-UNIVERSITY", "type": "INSTITUTION", "share": ".10" }, { "actor": "加州大学洛杉矶分校", "actorId": "INSTITUTION:UCLA", "type": "INSTITUTION", "share": ".05" }, { "actor": "未分配", "actorId": "C09::UNALLOCATED", "type": "UNALLOCATED", "share": ".05" } ], "mReason": "计入具体培养与教学服务；学生自身劳动及后来的独立成果不归导师独占。", "aReason": "完整归功预算：阿隆佐·邱奇（55.00%）：已核导师与授课服务。；接受指导的博士生（25.00%）：学生自身学习研究劳动；不在此领取未来发现。；普林斯顿大学（10.00%）：博士培养与早期教学机构。；加州大学洛杉矶分校（5.00%）：后期教学机构。；未分配（5.00%）：其他教学支持未识别。", "overlapNote": "独立导师训练服务，不重复教材、共同研究、图灵1936成果或各学生后续贡献。", "status": "缺证暂估", "missing": "导师关系已有记录；具体指导内容和学习成效资料仍有限。", "sources": [ { "label": "恩德顿：邱奇纪念文", "url": "https://www.cambridge.org/core/services/aop-cambridge-core/content/view/EDB7DCE04575AF06CCC94E95B3DD0F72/S1079898600008040a.pdf/div-class-title-in-memoriam-alonzo-church-1903-1995-div.pdf" } ], "share": "0.55", "exactLight": "2.920265394641062871888980751422891255701198914535257984902512408584222188137277441651027372590087457", "light": "2.920265", "standaloneScore": "1.19", "lightSharePercent": "0.2210" }, { "id": "OUT-SL0017-1956-PROBABILISTIC-COMPUTABILITY", "title": "概率机器在可计算及不可计算概率参数下的计算边界", "year": "1956", "summary": "", "M": "4.3", "budget": [ { "actor": "克劳德·香农", "actorId": "SL-0017", "type": "PERSON", "share": ".17" }, { "actor": "Person Karel De Leeuw", "actorId": "PERSON-KAREL-DE-LEEUW", "type": "PERSON", "share": ".17" }, { "actor": "Person Edward F Moore", "actorId": "PERSON-EDWARD-F-MOORE", "type": "PERSON", "share": ".17" }, { "actor": "Person Norman Shapiro", "actorId": "PERSON-NORMAN-SHAPIRO", "type": "PERSON", "share": ".17" }, { "actor": "艾伦·图灵", "actorId": "SL-0006", "type": "PERSON", "share": ".08" }, { "actor": "Person Martin Davis", "actorId": "PERSON-MARTIN-DAVIS", "type": "PERSON", "share": ".03" }, { "actor": "阿隆佐·邱奇", "actorId": "SL-0242", "type": "PERSON", "share": ".01" }, { "actor": "斯蒂芬·克莱尼", "actorId": "SL-1823", "type": "PERSON", "share": ".02" }, { "actor": "埃米尔·波斯特", "actorId": "SL-1824", "type": "PERSON", "share": ".01" }, { "actor": "Person Paul Halmos", "actorId": "PERSON-PAUL-HALMOS", "type": "PERSON", "share": ".06" }, { "actor": "Person E W Hobson", "actorId": "PERSON-E-W-HOBSON", "type": "PERSON", "share": ".04" }, { "actor": "Person J L Doob", "actorId": "PERSON-J-L-DOOB", "type": "PERSON", "share": ".02" }, { "actor": "未分配", "actorId": "PM56::UNALLOCATED", "type": "UNALLOCATED", "share": ".05" } ], "mReason": "M4.3: general and lasting distinction between random input and noncomputable information in computational capability, with independent theorem-level reuse; broader than a narrow counting technique, below a whole computing foundation or universal machine theory.4.0 and4.6 represent narrower theorem versus wider conceptual-method readings.", "aReason": "邱奇在此成果中的归功份额为1.00%。图灵的通用机和可计算性框架是论文中可识别的具体前提；De Leeuw、Moore、Shapiro 的共同证明工作和其他数学输入另列，不能把图灵列成论文作者。", "overlapNote": "One1956 joint knowledge family, Theorems1–5 and their stated effective supplements: p-machine enumeration/ordered sequence relation to deterministic input carrying p; computable p does not enlarge this class; noncomputable p can. c-s-machine computable transition/output functions reduce to fair-coin machines in the specified eventual-output sense.", "status": "已纳入研究估分", "missing": "沿用既有来源和有限主要族评估；未穷尽持续使用、独立替代路径和前驱贡献证据。本次修订并未重新全文核读所有原作。", "sources": [ { "label": "《香农论文集》对应篇章", "url": "https://www.jonglage.net/theorie/notation/siteswap-avancee/refs/books/Claude%20Shannon%20-%20Collected%20Papers.pdf", "note": "作品定位：with Karel de Leeuw, Edward F. Moore and N. Shapiro) Computability by 742 probabilistic machines。书目只用于定位，具体采信范围与量级/归功判断见本项说明；同篇可含多个不同结果。" } ], "share": "0.01", "exactLight": "1.402537544622754302155607863930240929789716150101268510911968559649866311120003584158151583964934633", "light": "1.402538", "standaloneScore": "0.76", "lightSharePercent": "0.1061" } ], "exclusions": [ { "id": "C10-UNQUANTIFIED", "title": "尚未量定的早期论文", "reason": "1924年洛伦兹变换、1927年选择公理与路径微分方程、1928年排中律等论文，具体增量仍待补证。" }, { "id": "SERVICE-GAPS", "title": "其他帮助、资源与安全贡献", "reason": "现有资料不足以量定具体行为及效果；不以未发现记录等同没有贡献。" }, { "id": "HARM-GAP", "title": "负面影响与未覆盖经历", "reason": "当前未形成可量定的完整伤害账，不宣称净全生涯贡献。" } ], "provisionalCount": 11, "provenance": { "releaseId": "research-200-20260914", "baselineLedgerSha256": "8bdd406b3e20ae22357644499e622922c670ff11010df0478c70c23b38902108", "c24DeltaSha256": "b0b96144d1d3397e54a61c3d706ff2da5920fe7617e3bef50407149cb97d9d62", "generatorSha256": "25de659e9852503508e7c27d8a31773b8da5d6310531b1e3699d18cc94319929" }, "priorScopeNote": "14项已列贡献的研究估分，含11项暂估。账本覆盖有限的主要成果，尚未穷尽生涯。M与归功份额是可修订的评估判断；未覆盖经历和负面影响不按零处理。", "rank": 55 }