约翰·冯·诺伊曼

证明有限二人零和博弈在混合策略下的最小最大定理。

M 的依据

它建立一个新理论领域的核心存在/对偶结论，略高于Watt成熟系统M5.8；但对象远窄于Shannon信息论M7，故取6.0。

个人份额的依据

作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。

重叠处理

限随机策略下有限二人零和博弈的最小最大结论；不收入整部博弈论、一般均衡或N08B/C。

补充资料或质疑本项 →

待补：1928原证明未读；前驱预算与Borel角色待核，不能把数学前提数量机械转为扣分。

将希尔伯特空间算子研究扩展到无界情形，建立相关数学工具。

M 的依据

比ACE M5的单一计算机设计报告更抽象且跨多个数学物理问题复用，故高0.6；低于M6级完整新理论体系，因为当前scope是工具族而非算子代数分类或量子公理整体。

个人份额的依据

作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。

重叠处理

N02独占无界/自伴算子与相关谱论的一般数学工具价值；N03、N06和N07C只把它作为已消费输入。

补充资料或质疑本项 →

待补：原作正文及逐项前驱份额未全部核读，当前为公开缺证暂估候选；M/a均为可修订研究判断。

与默里发展算子代数的结构理论。

M 的依据

相对N02 M5.6，N03新增可持续发展的代数对象、结构和分类体系，故高0.4；仍低于Shannon M7的跨领域通用理论。

个人份额的依据

作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。

重叠处理

编号论文系列合为一个算子环/代数结构与分类成果族；Hilbert空间和一般无界算子工具由N02消费，不重复抬升M。

补充资料或质疑本项 →

待补：原作正文及逐项前驱份额未全部核读，当前为公开缺证暂估候选；M/a均为可修订研究判断。；仍应补原作中具体独立结构的定位，但不阻挡公开暂估。

用希尔伯特空间中的状态和可观测量组织量子力学的数学表达。

M 的依据

和N02 M5.6同档但价值来源不同：N02是一般数学工具，N06是对量子理论对象的统一组织；二者均比ACE M5覆盖更广，低于Shannon M7。

个人份额的依据

作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。

重叠处理

只取量子状态、可观测量和公理组织的公共数学形式化；物理发现、N02一般算子工具、N07Q统计定理和普遍排除隐变量均排除。

补充资料或质疑本项 →

待补：原作正文及逐项前驱份额未全部核读，当前为公开缺证暂估候选；M/a均为可修订研究判断。；联合账必须把N02标为CONSUMED_TOOL而非第二次领取工具价值。

组织存储程序计算机的算术、控制、存储及输入输出逻辑，并形成公开设计报告。

M 的依据

相对ACE M5，EDVAC报告提供更早且传播更广的完整存储程序逻辑框架，故高1.0；仍低于Shannon M7跨领域理论。ACE行中John的13%只表示EDVAC输入，不把ACE全部价值反向抬升N09A。

个人份额的依据

作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。

重叠处理

1945 EDVAC存储程序逻辑设计与公开报告，保留多人技术输入；IAS实际工程由N09D只领残余实现，ACE后继设计只领其新增构造，既有13%为具体前驱输入。

补充资料或质疑本项 →

待补：读取同期讨论记录核对个人技术增量及份额；35/50/15是公开attribution scaffold，不能拆成无证据的个人精细比例。；IAS可运行机器和跨机构复制资料补足了下游采用锚；它只支持架构得到工程承接，不证明N09A逐人发明份额。

发展集合论的一阶公理化方案，为后来的体系改写提供基础。

M 的依据

相对Church M5的专门形式体系，N01覆盖集合论基础对象和一阶公理组织，方法受益面更广，故高0.4；仍显著低于Shannon M7的跨学科基础平台。

个人份额的依据

作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。

重叠处理

只取1925–1929原始一阶公理化方案族；Bernays的改写和Gödel后续结果不进入本体价值。

补充资料或质疑本项 →

待补：原作正文及逐项前驱份额未全部核读，当前为公开缺证暂估候选；M/a均为可修订研究判断。；现有承接证据仍以Bernays回顾为主，需保留calibration-required标记。

证明酉算子时间平均的强收敛，连接动力系统与算子方法。

M 的依据

作为一般动力系统的可复用收敛工具，与Watt冷凝方法M5.2同属通用方法档；比条件更窄的N07Q M4.5高，低于N02 M5.6的一般无界算子工具族。

个人份额的依据

作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。

重叠处理

只取Hilbert空间中酉算子遍历平均的强/L2收敛；Koopman提供算子化前驱。不收入Birkhoff逐点定理、1929量子遍历或物理应用的重复定理价值。

补充资料或质疑本项 →

待补：1932原论文本轮仍未读，现代抽象表述来自Halmos回顾；Carleman等独立证明线索及Weil建议待一手核读；1932原论文本轮未通读；Carleman独立证明和Weil建议仍待一手核读。

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

M 的依据

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

个人份额的依据

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

重叠处理

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

补充资料或质疑本项 →

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

与摩根斯特恩共同组织博弈的信息结构、分配和合作解框架。

M 的依据

该框架比ACE M5多出对多种博弈结构的形式组织，但当前终端与采用链不如单一定理清晰；从5.5下调到5.3，低于N08A M6。

个人份额的依据

作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。

重叠处理

作为1944合著中的一个书级共同框架episode，领取信息集/扩展式组织与合作博弈形式化的组合增量；内部两类内容此后不得再分项计M。明确排除N08A最小最大证明、N08C效用表示及后继具体合作解概念。

补充资料或质疑本项 →

待补：原书章节差分未完整核读；对称份额是暂估而非分工已证；不声称所有合作博弈均有解。；40/40为共同署名下的对称暂估，不声称已测得分工。

将概周期函数研究推广到群，并与博赫纳继续发展这一方法。

M 的依据

残余理论仍是可复用群分析框架，和ACE M5同档；因关键等价性明确剔除，不再用原先较宽scope支撑Watt冷凝方法同档的5.2。

个人份额的依据

作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。

重叠处理

只取1934群上推广与1935合著续篇除left/right almost-periodicity equivalence之外的增量。已采用图灵共享行继续独占该等价性本体价值。

补充资料或质疑本项 →

待补：原作正文及逐项前驱份额未全部核读，当前为公开缺证暂估候选；M/a均为可修订研究判断。；必须保留机器可查EXCLUDES关系，禁止恢复模糊的整篇论文价值。

在特定线性经济模型中论证扩张均衡的存在。

M 的依据

比N10A M4.5的专门误差分析略广到经济均衡结构，但比N08C M5的一般风险表示和N08A M6核心定理窄。

个人份额的依据

作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。

重叠处理

限特定线性活动扩张模型中的均衡存在；1932报告、1937刊文和后续英译是同一成果链，不复制M。

补充资料或质疑本项 →

待补：原论文和与Wald工作的比较未读，需核证明工具重复价值及适用条件。

与乌拉姆、梅特罗波利斯、克拉拉等共同推进计算机上的随机采样方法。

M 的依据

比ACE M5多出跨问题迁移的计算抽样范式，故取5.5；仍低于成熟工程系统M5.8和更完整理论体系。

个人份额的依据

根据参与者叙述区分概念、方案和实现，Ulam30%、John25%、Metropolis20%、Klára10%为粗估而非测量；其他池合计15%。

重叠处理

只取1946–1949把既有统计抽样组织为电子计算机可运行方案及早期实现；不计统计抽样首创、1953 Metropolis算法、ENIAC硬件、全部后世模拟或战争后果。

补充资料或质疑本项 →

待补：参与者晚年回忆未与所有同期文件交叉验证；完整战争后果保持独立未量化，不声称净全生涯分；角色细分主要来自Metropolis晚年回忆，尚未与全部同期文件交叉。

与摩根斯特恩研究在偏好公设下用期望效用表示风险选择。

M 的依据

和ACE M5同为可跨具体应用复用的形式框架；范围比N08A最小最大核心定理的学科奠基面窄，故低1.0。

个人份额的依据

作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。

重叠处理

只取偏好公设下的期望效用表示及后续版证明补充；不把所有现实选择或行为经济学归入。

补充资料或质疑本项 →

待补：需原书公设及版本页码；Ramsey、Bernoulli、Menger等依赖仅暂保留前驱池，不冒充已定具名比例。

证明有限维空间中的闭线性变换群具有李群结构。

M 的依据

它是清楚而可复用的结构定理，和N10A数值误差方法M4.5同档；范围比N02一般算子工具M5.6窄。

个人份额的依据

作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。

重叠处理

1929结论限于闭有限维线性群是Lie群；不收入Cartan后来一般闭子群结果、1933紧局部欧氏群或完整Hilbert第五问题。

补充资料或质疑本项 →

待补：原作正文及逐项前驱份额未全部核读，当前为公开缺证暂估候选；M/a均为可修订研究判断。

在明确的能级和宏观划分条件下，证明量子系统的遍历与熵结果。

M 的依据

比N07C M5.2更依赖特定量子统计条件且一般工具覆盖更窄，故低0.7；与N10A M4.5同属条件明确的专门数学方法。

个人份额的依据

论文具名作者承担该证明工作，暂置65%；基础依赖暂保留合组25%、未明10%，不将文献引用机械换成具名百分比。需与其他原创理论的归功标准对称复核。

重叠处理

限1929年在能级、能隙和宏观划分条件下的量子遍历/H定理证明族；不称无条件热化或熵处处单调，不消费1932经典平均定理。

补充资料或质疑本项 →

待补：已读原作英译的引言、定理条件和讨论，未逐式复核全部证明；比例及适用影响仍可修订。

研究如何通过冗余组织，在元件可能出错的情况下构造可靠计算。

M 的依据

原文给出多层误差控制与多路复用构造，后继Moore–Shannon明确采用并改进。以邱奇有界综合方法M4.5为邻近锚暂取4.5，区别于后继继电器专门结果M3.7；不把器件实用化、全部可靠计算领域及未完成的热力学理论计入。

个人份额的依据

理论结果预算仅保留本人候选及待核前史/未知池；致谢、记录、机构支持在角色清单保留但无本项单独份额。

重叠处理

1952讲座与1956发表合一成果链；不另按多数表决、多路复用、讲座和出版分别全额加分。与香农可靠继电器结果区分；已存在的16%前驱预算尚须在合账中审查是否与本项价值重复。

补充资料或质疑本项 →

待补：原扫描与重排文本的关键公式尚未逐字校验。；完整误差独立性及随机连线条件未形式化复证。

利用群不变测度等方法，处理局部欧氏群在紧情形下的解析结构。

M 的依据

与N05A同属有界Lie结构推进，但抽象到非预设线性表示的紧局部欧氏群并依赖Haar测度；适用仍受紧性限制，故M4.4与N05A近邻而略低。

个人份额的依据

作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。

重叠处理

1933结果限于紧的局部欧氏拓扑群具有解析参数，并明确使用Haar测度。它不是N05A线性群特例的重复，也不是完整Hilbert第五问题。

补充资料或质疑本项 →

待补：原作正文及逐项前驱份额未全部核读，当前为公开缺证暂估候选；M/a均为可修订研究判断。

与比格洛等工程人员将逻辑设计实现为IAS计算机，并通过报告和人员交流传播工程经验。

M 的依据

相对ACE设计报告M5，本点增加了可运行通用研究设备和公开工程复制，故取5.2；但存储程序原理已经由N09A领取，不能按完整计算架构或所有应用升至M6。

个人份额的依据

John负责项目倡议、逻辑方向及组织；Bigelow负责核心工程落地；Goldstine与Burks的组织/逻辑输入另列；其他工程、编程、维护团队合组。比例为粗粒度研究估值，不是人员工作量测量。机构只领提供项目条件的作用，不复制个人工程劳动。

重叠处理

只取把已存在的存储程序逻辑落实为可运行IAS机器、形成工程报告和跨机构复制的残余实现增量。N09B逻辑报告与N09C编程报告并入这一交付链，不另立M；N09A独占存储程序逻辑本体。N10B天气和N10C抽样方法也不由机器实现点领取。

补充资料或质疑本项 →

待补：项目资金、运行成本、各成员具体份额及全部用途的净后果尚未审结；战争及核武器相关用途有记录，不能把计算任务完成自动解释为净正向文明后果；Bigelow核心工程角色已有直接支持；其余工程、编程和维护者仍须保留团队池。；军方资金及战争、核武器用途属于未知净后果，不能从合同或任务完成推成文明安全正收益。

与查尼、菲约托夫将简化天气模型与实际资料结合，完成四次有条件的数值预报试算。

M 的依据

与ACE M5同为模型、计算和实际试算闭合的有界方法系统；没有证据支持把后世全部天气预报收益收入而升至通用系统M5.8。

个人份额的依据

共同作者在没有细粒度分工证据时对称暂估各25%，不是署名测得份额。正文另明确编码教学/校验、资料准备及运行等实际任务，合组15%而不按致谢人头拆分；前史5%和未知5%均为可修订估计。

重叠处理

只取1950正压涡度模型、边界稳定处理和四次500mb实测资料24小时试算的闭环；四次试算不拆成四份，不计ENIAC硬件或后世业务预报系统。

补充资料或质疑本项 →

待补：三名作者内部工作量和技术贡献比例未据同期分工确认；未逐页复核所有实验图及稳定性推导；未用本次试算证明长期业务预报的收益规模；三名作者无细粒度同期分工，25/25/25是对称暂估。

与戈尔德斯坦研究矩阵数值计算中的舍入误差和条件限制。

M 的依据

与已采用Turing 1948条件误差方法M4.5同档；范围比ACE M5计算架构窄。Turing行应只计其独立推广，不能再完整领取已由本点计入的正定结论。

个人份额的依据

同署名共同分析暂对称各40%，保留既有方法和未知池；数字为规范判断。

重叠处理

1947/1951系列合并为有限精度矩阵求逆误差分析；不领取Gauss消元、Turing 1948独立推广、完整逆向误差理论或所有科学计算。

补充资料或质疑本项 →

待补：原1947/1951全文未核，系列内部定理暂不拆；图灵旧合组7%不可整体转给John；1947/1951原文未通读；现有依据含Turing原文引言、Wilkinson摘要与IAS署名目录。

M 的依据

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

个人份额的依据

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

补充资料或质疑本项 →

用可比较的可行效用集合和若干公理约束刻画谈判解，使公平/效率主张成为显式可争论的模型。

M 的依据

1950原文明确双人合作互利范围并致谢von Neumann、Morgenstern审读；学术导言指出无关替代独立性长期有争议。按独立公理方法和持续分析用途取M6.0。

个人份额的依据

Nash .47；von Neumann .04；Morgenstern .04；前史 .25；机构 .05；未解析 .15。

重叠处理

1950《The Bargaining Problem》对两人可合作互利情形的公理模型与唯一解刻画；不把工会、垄断、外交或现实政策结果计作已交付，也不与非合作均衡合并。

补充资料或质疑本项 →

待补：各公理的直接思想前史与审读建议内容未闭合。；经验适用性及权力不对称边界未系统评价。

M 的依据

具体可靠性构造及规模界超过单一技巧、问题类别明确，但不足以证明更宽国际方法平台；中心M=3.7。

个人份额的依据

Moore 与 Shannon 各37%，von Neumann 问题前史16%、McCulloch/Pitts模型池3%、未知7%；个人各段证明分工未知，份额是规范判断。

补充资料或质疑本项 →

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

M 的依据

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

个人份额的依据

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

补充资料或质疑本项 →

M 的依据

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

个人份额的依据

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

补充资料或质疑本项 →

与维布伦共同主持1935—1936年的数学研讨班。

M 的依据

只评1935—1936正在进行的一届合作研讨服务，低于长期教学培养服务；不继承参与者后来成果，课次和人数仍待补。

个人份额的依据

作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。

补充资料或质疑本项 →

待补：具体课次、人数和讲义未取得，保留暂估。