艾伦·图灵

M 的依据

反应—扩散模型给出从均匀状态产生空间图样的可分析机制，成为跨学科可复用理论工具；不以具体生物现象、实验确认或后来的全部模式形成理论加分。

个人份额的依据

图灵构造反应—扩散不稳定性理论；Waddington、Michaelis—Menten、Jeans 等明确的生物与化学输入保留，未将实验支持或后继应用化为个人份额。

补充资料或质疑本项 →

M 的依据

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

个人份额的依据

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

重叠处理

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

补充资料或质疑本项 →

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

M 的依据

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

个人份额的依据

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

补充资料或质疑本项 →

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

M 的依据

一份具体的存储程序机器设计把运算、存储和控制组织为可实现的架构能力；不把实际建造、其他机器路线或现代计算产业一并计入。

个人份额的依据

图灵完成 ACE 的架构设计；von Neumann 的既有存储程序工作与未分配工程输入保留，未由报告作者身份消除。

补充资料或质疑本项 →

M 的依据

把“机器能否思考”改写为可讨论的模仿游戏，并系统回应一组反对意见，形成持久公共与专业方法论议题；它不是机器智能的实证判定或后续人工智能全体能力。

个人份额的依据

图灵完成问题重述与论证结构；既有计算机、心灵哲学与反对意见语境被限定保留，不把公众讨论本身误作独占的技术成果。

补充资料或质疑本项 →

M 的依据

它公开处理线性方程、求逆、三角分解与消元重排中的共同数值误差，覆盖一类核心计算任务而高于局部技巧；但缺乏独立扩散证据，且误差假设和失败情形限制它不到国际方法档。

个人份额的依据

图灵分析特定条件下的舍入误差并给出 LDU 条件性结论；Gauss/Cholesky 消元、Hotelling—von Neumann—Goldstine 语境及 Fox 等实践仍为具体前提。

补充资料或质疑本项 →

M 的依据

把程序正确性问题表述为断言与终止性检查的可传授方法，形成专门但可移植的编程知识；不含所有程序验证或现代形式化方法。

个人份额的依据

图灵发表具体检查步骤和论证；逻辑/编程语境与会议发表支持被保留，未以单人署名吞并整个验证传统。

补充资料或质疑本项 →

M 的依据

零点计数与已计算零点的完备性检验提供专业解析数论能力；不把黎曼猜想、完整零点分布或后来的大规模计算纳入。

个人份额的依据

图灵提出计数和完备性检验方法；Littlewood、Riemann—Titchmarsh 与既有零点计算保留为具体前提。

补充资料或质疑本项 →

M 的依据

连通 Lie 群范围内的有限近似结论是可复用的专业群论方法；原命题不能无条件扩至非连通群，因而不作更广的学科基础主张。

个人份额的依据

图灵完成受连通条件限制的证明；Jordan 与 von Neumann 的前驱工具及出版支持保留，有限群反例不被忽略。

补充资料或质疑本项 →

M 的依据

提出可训练、可组织机器的明确技术模型，超过纯设想；但未证实建造、部署或稳定性能，故只作为有限专业方案。

个人份额的依据

图灵给出无组织机器的模型与训练设想；未分配的技术实现和前史输入仍保留，不能把后来的机器学习系统归入。

补充资料或质疑本项 →

M 的依据

明确条件下的扩张判据和构造为专业群论提供一组可操作方法；不等同于一般群论平台或后来的分类理论。

个人份额的依据

图灵提出该扩张条件与构造；Baer、Schreier 和 Reidemeister 的先行方法各有保留，不能以单篇署名推成独占。

补充资料或质疑本项 →

M 的依据

一个有限而可复核的等价证明提供专业数学知识，却没有显示跨领域平台或广泛应用，故限于专业方法量级。

个人份额的依据

图灵给出两种概周期性定义的等价证明；Bohr 的概周期理论仍保留为前提，未把定义传统转写为图灵独创。

补充资料或质疑本项 →

M 的依据

公开机构材料确认它是用于 Lorenz/Fish 问题的统计分析方法，并被后续机器思路利用，故超过私人构想；运行、用户、产出和终端情报结果未闭合，不能提升为更高档的实际使用成果。

个人份额的依据

图灵提出 Turingery 的统计分析方法；Tutte 研究前史、拦收测试人员、邮政工程、机构资源和未分配输入均保留，Newmanry/Colossus 不归为图灵个人交付。

补充资料或质疑本项 →

M 的依据

两种独立模拟构造共同交付状态／符号权衡的模型不变性；较局部锐界更直接改变计算模型的通用描述，但不领取计算机工业功劳。

个人份额的依据

香农交付状态/符号权衡的两类模拟构造取0.72；图灵的通用机对象是不可替代的具体前驱输入取0.20，余0.08未分配。

重叠处理

只计状态/符号受限下的模拟构造；图灵通用机原成果、后续最小机和计算机工业不重复。

补充资料或质疑本项 →

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

M 的依据

该方法改进特定范围的 zeta 数值求值，具有可复用专业价值；不含黎曼猜想、完整零点计算或后来的算法体系。

个人份额的依据

图灵给出中间范围的函数求值步骤；函数方程、积分和既有计算方法保留为输入，未把它们改为个人发现。

补充资料或质疑本项 →

M 的依据

已有编入与恢复的共同工作原型及成功演示，跨过纯方案阶段；关键单元仍待完善、没有部署或跨单位采用，故限于共享原型能力。

个人份额的依据

图灵与 Donald Bayley 共同完成并演示 Delilah 原型；Bell Labs SIGSALY 概念、Hanslope 资源及其他不明输入仍保留，不能按一人主导或扩为部署系统。

补充资料或质疑本项 →

M 的依据

一套已接入实际密码分析的有限工作流形成可复用安全能力，但现有范围不量化情报结果、战争总效应或硬件体系的全部价值。

个人份额的依据

图灵参与 Banburismus 与 Bombe 相关分析工作；归因同时保留 Welchman、工程制造、波兰—法国前史、拦收和验证人员及机构资源，未按作者人数均分或把 Colossus 归入。

补充资料或质疑本项 →

研究抽象自动机如何构造并复制自身，未完成部分由伯克斯整理和补完。

M 的依据

和ACE M5同档：两者都是有界而未完全物理实现的通用计算构造；不借现代人工生命和生物技术把它升到成熟系统档。

个人份额的依据

John构想/遗稿60%、Burks技术补完20%、Ulam简化模型输入10%、Turing方法前驱5%、未知5%；均为粗估。

重叠处理

只取通用构造与描述复制的形式方案，以及Burks对未完成设计的技术补完；排除概率可靠逻辑N11A、存储程序N09A、实际自复制硬件、能量闭合和后继所有元胞自动机。

补充资料或质疑本项 →

待补：原书第五章细节未逐页核对；Ulam模型输入来自研究专著对原材料的转引；原书第五章未逐页核对；Ulam输入部分来自研究专著转引。

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.

补充资料或质疑本项 →

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