阿隆佐·邱奇

以函数抽象与替换构造形式计算方法，研究转换、正规形和可定义性。

M 的依据

λ转换提供独立、可复用的形式计算工具；只计方法体系，不把后来的编程语言全部归入。

个人份额的依据

完整归功预算：阿隆佐·邱奇（60.00%）：组织λ转换与可定义性体系。；斯蒂芬·克莱尼（20.00%）：转换性质和可定义性的重要共同输入。；约翰·巴克利·罗瑟（10.00%）：转换与正规形证明的共同输入。；摩西·申芬克尔（5.00%）：函数处理的前驱方法。；未分配（5.00%）：未核辅助输入。

重叠处理

转换与正规形并入同一方法族；共同不可判定结论不另计第三项。

补充资料或质疑本项 →

待补：原1936共同论文及具体辅助份额仍待补证。

将λ表达式纳入简单类型体系，组织逻辑规则和数学表达。

M 的依据

计入有类型系统的独立表达与推理能力；无类型λ方法及后继验证软件另行区分。

个人份额的依据

完整归功预算：阿隆佐·邱奇（60.00%）：组织此λ表述及形式发展。；类型论与数理逻辑前驱（20.00%）：原文明确Whitehead/Russell、Hilbert/Ackermann、Hilbert/Bernays及简单类型前史；未逐人量分。；斯蒂芬·克莱尼（7.00%）：原文p59采用Kleene前驱函数。；约翰·巴克利·罗瑟（5.00%）：原文p68归属加法与乘法定义。；摩西·申芬克尔（3.00%）：原文p57多变量函数处理前史。；未分配（5.00%）：未逐一核实的辅助输入；不把未读脚注武断分给具体人。

重叠处理

排除无类型转换性质、判定结论及后继HOL系统工程；同一论文内部算术展示不另立全额分。

补充资料或质疑本项 →

待补：已读原文窗口；部分公式及前驱个人份额未完整复核。

与克莱尼发展构造序数的有效记号和可定义性研究。

M 的依据

有效记号使序数研究与形式计算相连；计入共同方法及整理，不按冠名单独加分。

个人份额的依据

完整归功预算：阿隆佐·邱奇（45.00%）：共同形式定义及1938构造性整理；份额不是根据冠名自动均分。；斯蒂芬·克莱尼（40.00%）：共同定义、性质及文中明确的等价性证明输入。；序数与形式方法前驱（10.00%）：既有序数及形式方法基础，逐人角色仍待核。；未分配（5.00%）：未核辅助输入保留。

重叠处理

1937共同定义与1938解释修正合为一个成果族；不重复基础转换规则，也不领取后来的整个序数逻辑。

补充资料或质疑本项 →

待补：已读第三方原文转录；原始扫描与1937共同论文仍待核读。

以递归算术表述电路综合问题，并给出部分情形的解法。

M 的依据

计入有界综合方法及问题表述；不把其他研究者的解法或尚未解决的一般问题视为本人完成。

个人份额的依据

完整归功预算：阿隆佐·邱奇（65.00%）：问题表述及受限递归算术的部分综合解法，p29明确第一情形作者归属。；J. B. 赖特（10.00%）：p29明确缩短综合算法的修改已纳入[7]。；索拉尔夫·斯科伦（10.00%）：递归算术前史，1957首段及1962参考[19]支持。；形式电路与逻辑方法前驱（8.00%）：既有形式电路与逻辑方法输入，个体细分待审。；未分配（7.00%）：尚未具名的辅助输入。

重叠处理

1957讲稿/1960出版与1962总结连为一项；Case1/2等内部解法先合并，不每个情形另给完整M。

补充资料或质疑本项 →

待补：已核问题范围、解法归属及参考文献；部分辅助输入仍未具名。

以形式系统研究表达式的意义、指称及其关系。

M 的依据

计入持续发展的专门语义方法；多次修订合为一族，不逐篇累加。

个人份额的依据

完整归功预算：阿隆佐·邱奇（65.00%）：持续组织和修订该形式逻辑方案。；戈特洛布·弗雷格（20.00%）：意义与指称区分的明确思想前史。；逻辑与语义学前驱（10.00%）：其他逻辑与语义前史，原文未逐篇核读前不武断细分。；未分配（5.00%）：其他输入尚未识别。

重叠处理

1951及后续修订先合为同一有界方法族，不按论文或Alternative编号累加；类型工具本身不重复记入。

补充资料或质疑本项 →

待补：所据为后继作者论文中的比较；邱奇原系列论文尚待补齐。

M 的依据

序数进展与神谕机把形式系统的可证明性边界转为可扩展框架，形成重要的基础逻辑能力；不把后来的递归论全体成果计入。

个人份额的依据

邱奇在此成果中的归功份额为10.0000%。图灵给出序数逻辑与神谕框架的核心构造；Church 与 Kleene 的可计算性和递归论输入被明确保留。

补充资料或质疑本项 →

待补：沿用既有来源和有限主要族评估；未穷尽持续使用、独立替代路径和前驱贡献证据。本次修订并未重新全文核读所有原作。

M 的依据

以机器形式表示有限符号过程并构造通用模拟，提供可复用的计算方法；界限论证作为该方法的验证，不重复计入共同不可判定结论。

个人份额的依据

邱奇在此成果中的归功份额为4.00%。图灵的机器构造占68%；邱奇的λ方法关系输入占4%；逻辑前驱9%、马克斯·纽曼6%、人工计算与符号操作实践4%、学术发表支持4%、未分配5%。归功比例为可修订的研究判断。

重叠处理

与邱奇的λ转换方法分别计入独立方法交付；共同判定结论和两种形式的等价关系不再另列第三项全额贡献。

补充资料或质疑本项 →

待补：沿用既有来源和有限主要族评估；未穷尽持续使用、独立替代路径和前驱贡献证据。本次修订并未重新全文核读所有原作。

构造含全域集合的模型，研究相关集合论的一致性。

M 的依据

计入专门模型构造的研究价值；区分Oswald的独立发现，不计后继作者新增定理。

个人份额的依据

完整归功预算：阿隆佐·邱奇（65.00%）：本人有界构造与论证；非全部领域贡献。；公理化与模型方法前驱（25.00%）：既有公理化与模型方法输入，尚未逐人量定。；未分配（10.00%）：原论文完整角色链尚未核实。

重叠处理

仅Church具体模型与相对一致性构造；独立于λ、序数和内涵语义。Oswald独立发现作为对照，不误作Church上游合作者；不独占两人共有的一般技术，不计Forster和Button新增定理。 将来Oswald入榜须联合审理共同技术价值，不得两人各领取共有部分全额；Button仅为后继摘要，不能替代原作证据。

补充资料或质疑本项 →

待补：已读后继作者的构造重述；邱奇1974原件和完整角色链仍待补。

研究不可冗余公理组的条件，并给出整数体系的例示。

M 的依据

按局部公理化方法暂估；条件陈述不意味着解决一般公理独立性的算法问题。

个人份额的依据

完整归功预算：阿隆佐·邱奇（65.00%）：本人有界构造与论证；非全部领域贡献。；公理化方法前驱（25.00%）：既有公理化与模型方法输入，尚未逐人量定。；未分配（10.00%）：原论文完整角色链尚未核实。

重叠处理

1925及1926同题线索暂合一方法族。只计报告所述判别与整数体系交付；不含1927选择公理论文，不声称解决一般公理独立性判定。 同期会议摘要不等于Transactions原论文；条件陈述不宣称一般算法。

补充资料或质疑本项 →

待补：所据为同期会议摘要；原论文全文、后续增量和具体前驱份额待核。

长期承担符号逻辑期刊的研究编辑、书评及文献组织。

M 的依据

评价持续的学术编辑服务；期刊论文的原创成果属于各作者，不计入编辑个人。

个人份额的依据

完整归功预算：阿隆佐·邱奇（55.00%）：长期编辑与书评组织。；书评作者及学术编辑（20.00%）：限外部书评作者及其他学术编辑的评价劳动，不含本条另列的办公室行政制作。；符号逻辑协会（10.00%）：期刊组织载体。；书评办公室工作人员（8.00%）：限办公室行政、整理、制作服务，不含另列的学术书评判断；同一人若兼任也须按不同劳动去重。；加州大学洛杉矶分校（4.00%）：纪念明确迁校后支持书评办公室。；未分配（3.00%）：其他未量定支持。

重叠处理

创刊、编辑、书评和相关文献整理先合一服务链；原创性书评若另立成果，须从此链明确扣除重叠价值。

补充资料或质疑本项 →

待补：合作者分工及各卷具体工作量未逐一核实。

编写数学逻辑教材，系统组织概念、符号和论证。

M 的依据

计入教材的知识组织与传播服务，不重复书中原创定理，也不计未完成的第二卷。

个人份额的依据

完整归功预算：阿隆佐·邱奇（65.00%）：编写和组织逻辑知识。；教材所综合的逻辑研究者（20.00%）：教材所综合既有研究，逐章归属未完成。；普林斯顿大学出版社（10.00%）：已核实际出版渠道。；未分配（5.00%）：具体校订及制作未具名。

重叠处理

1944、1956及再版视为同一教材发展链；不另计未完成第二卷；不再次领取书中原创定理或同一课堂交付。

补充资料或质疑本项 →

待补：出版社与纪念文支持出版和传播；正文及具体课程采用记录待补。

为百科全书撰写数学与逻辑内容，并承担咨询编辑。

M 的依据

仅暂估参考知识编写与咨询服务；教材文字如被复用，只计新增适配劳动。

个人份额的依据

完整归功预算：阿隆佐·邱奇（60.00%）：档案目录明确本人撰稿和咨询编辑。；数学与逻辑知识前驱（20.00%）：所综合的既有数学与逻辑知识；未逐条定位作者。；大英百科全书出版体系（15.00%）：百科出版与编辑组织载体；不另重复给未具名编辑个人。；未分配（5.00%）：具体协助输入未明。

重叠处理

只计参考条目的独立编写与咨询交付。排除教材、期刊书评和原始定理；同一文字再版不逐年累加。 若条目复用教材文字，仅计额外适配服务，不重复原编写劳动；目录不证明逐条分工已核。

补充资料或质疑本项 →

待补：档案目录证明工作存在；条目正文、具体分工与传播效果待补。

在普林斯顿和加州大学洛杉矶分校授课、指导博士研究。

M 的依据

计入具体培养与教学服务；学生自身劳动及后来的独立成果不归导师独占。

个人份额的依据

完整归功预算：阿隆佐·邱奇（55.00%）：已核导师与授课服务。；接受指导的博士生（25.00%）：学生自身学习研究劳动；不在此领取未来发现。；普林斯顿大学（10.00%）：博士培养与早期教学机构。；加州大学洛杉矶分校（5.00%）：后期教学机构。；未分配（5.00%）：其他教学支持未识别。

重叠处理

独立导师训练服务，不重复教材、共同研究、图灵1936成果或各学生后续贡献。

补充资料或质疑本项 →

待补：导师关系已有记录；具体指导内容和学习成效资料仍有限。

M 的依据

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.

个人份额的依据

邱奇在此成果中的归功份额为1.00%。图灵的通用机和可计算性框架是论文中可识别的具体前提；De Leeuw、Moore、Shapiro 的共同证明工作和其他数学输入另列，不能把图灵列成论文作者。

重叠处理

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.

补充资料或质疑本项 →

待补：沿用既有来源和有限主要族评估；未穷尽持续使用、独立替代路径和前驱贡献证据。本次修订并未重新全文核读所有原作。