戈特弗里德·威廉·莱布尼茨

M 的依据

取7.3。一般微分/积分把变化率、累积、切线、求积和曲线问题纳入可复用方法族，属于跨代全球数学基础，满足M7。压到M6会把它误作一门专业技巧；接近M8则会重复计整个后世分析学、标准记号、教材以及科学工程应用。共同起源不会降低成果本身M，Newton、Leibniz和前驱的份额留给a。

个人份额的依据

牛顿与莱布尼茨分别独立形成一般微分/积分方法，各取0.37；Barrow、Wallis、Descartes、Mercator等可指认前史共同取0.21，余0.05未分配。早期出版与采用证明传播和持续作用，不是共同起源形成者。

重叠处理

M只计一般微分/积分方法族及其持续基础功能；后世分析学、标准记号扩展、教材与工程应用不重复。所有持有人共享这一份预算。

补充资料或质疑本项 →

待补：沿用既有来源和有限主要族评估；未穷尽持续使用、独立替代路径和前驱贡献证据。本次修订并未重新全文核读所有原作。 高档M的跨代直接使用证据须与思想同样展示来源定位，不能由熟悉的科学史结论免验；具名前驱再次归功同样接受消费审查。

《形而上学谈》《新体系》《新论》《神义论》《单子论》等相连著作，把充足理由、简单实体、真理分类、心身关系、认识与恶/自由问题放在一组论证网络中。这里记录的是著作与可讨论的论证，不把其本体论主张当作已证事实。

M 的依据

取M5.9：SEP确认多个主要著作和相互关联而不相同的原则，《单子论》已核读段落又提供简单实体、矛盾原则、充足理由及真理分类的直接文本载体。一个宽著作群避免按单子、理由、和谐、认识论和神义论概念重复计分；M评其跨问题论证资源与持续可讨论性，不以是否接受其本体论为评分条件。

个人份额的依据

Leibniz 0.42；古代/经院/近代哲学前史0.25；通信论战对象0.08；编辑出版翻译0.09；保存机构0.04；文本边界未解析0.12。

重叠处理

把1686至1714年主要成熟哲学文本作为一个互联著作群：充足理由与矛盾原则、理性真理/事实真理区分、单子/简单实体、心身协调、天赋观念/知觉及神义论问题。概念彼此关联但不按术语各建M；只计著作、论证结构和可讨论问题资源，不把这些命题当已证自然事实，也不领取后世理性主义、德国观念论或分析哲学。

补充资料或质疑本项 →

待补：《新体系》的预定和谐段落、《神义论》关于恶/自由的核心论证和《新论》认识论正文尚需直接核读。；主要著作的手稿、初刊、迟刊和现代批校关系需版本学闭合。；跨时代影响应区分直接阅读、后世重建与独立相似论证。

莱布尼茨以升降等效和伽利略落体关系反驳笛卡尔的标量运动量，并以mv²的“活力”讨论碰撞与动力学。他直接吸收Huygens的碰撞和平方速度思路；该项不等同于牛顿运动定律、现代动量、1/2mv²、热力学或一般能量守恒。

M 的依据

取M5.7：有1686公开论证、后续系统化文本和明确的升降/碰撞适用对象，且mv²量抓住现代动能的核心速度平方结构。M不取更高，是因为该成果的实际终态仍把force、work-like ability和metaphysical active force混合，普遍守恒依赖理想弹性或微观弹性假说，并未交付现代总能量守恒；这是成果自身范围和错误边界，不是原文读取不足造成的折扣。

个人份额的依据

Leibniz 0.36；Huygens直接输入0.18；Galileo落体/升降基线0.09；Descartes、Wren及碰撞机械前史0.14；发表通信团队0.07；机构0.04；未解析0.12。

重叠处理

从1686《对笛卡尔等人的显著错误的简短证明》到1689–1695动力学文本及约1700《动力学论文》中有据的核心方案：用物体下降获得与升回同高所需作用相等的反事实，结合伽利略落体关系论证标量mass×speed不足以度量force，以mass×speed²度量vis viva；区分带方向的progress量与活力，并讨论理想弹性碰撞及非弹性碰撞中活力转入微小部分的解释。微积分方法由既有SCI-O-SL0002-03消费；不领取Newton运动定律、完整现代动量、1/2mv²规范、势能/内能/热、热力学或一般能量守恒。

补充资料或质疑本项 →

待补：需直接逐段核对1686 Brief Demonstration、1695 Specimen Dynamicum与约1700 Essay of Dynamics的版本差异。；具体实验、's Gravesande/du Châtelet等后继验证与术语传播尚未核，当前不据后世接受反推个人M。；非弹性碰撞中所谓转入微小部分与后来内能/热解释的关系须避免目的论式追认。

1703年文本说明仅以0和1作位值表示并演示四则运算和数论用途；1679年的二进制机械表示只作为相关构想。现有资料不表明莱布尼茨时代建成二进制机器，也不将现代计算产业归入该项。

M 的依据

取M5.5：原文已给出位值分解和四则操作，不只是抽象二元隐喻；又有机构记录1679机械表示构想。范围仍是已发表数学方法加未建成机器概念，低于成熟通用计算装置/体系锚；此差来自交付终态差异，不是奖项、年代或原刊未逐页造成。

个人份额的依据

Leibniz 0.43；位值/二元/算术前史0.22；科学院出版传播0.09；后世编辑0.05；保存机构0.04；未解析0.17。

重叠处理

1703年公开文本中只用0与1的位值表示、数值分解、加减乘除示例、数论用途和不取代日常十进制的明确边界；1679年以开闭孔及球/立方体表示0/1的机械构想只作为同族实现残余。后世2003/04功能复制件只证构想可视化，不称莱布尼茨时代造出二进制机器。现代bit、电子计算机、软件和产业排除。

补充资料或质疑本项 →

待补：需直接逐页校勘1703原刊与Gerhardt转录。；需核1679二进制机器原稿，当前不能断言完整制造图、同时代建造或可靠运行。；二进制前史与实际后续采用链尚未闭合。

从1666年《组合术论》的组合问题出发，相关手稿还涉及数的分割、对称表达、行列式项的索引化组织和线性方程消元。该项只处理这些非微积分数学构造；后继发表、完整行列式理论、概率及共同微积分账均不包括。

M 的依据

取M5.4：该族包含可定位的已刊组合入口和多个技术上不同但由同一组合—索引方法连接的非微积分结果，覆盖分割与消元两类可复用问题。M不按900余份行列式草稿或题目数量累加，也不领取后来完整组合数学/线性代数；未刊与传递限制进入scope中的实际受益，而资料尚未逐份读只进入缺口。

个人份额的依据

Leibniz 0.38；组合/代数/数论前史0.24；早期印刷保存0.07；批校编辑0.08；保存机构0.05；未解析0.18。

重叠处理

从1666年《组合术论》的技术组合入口到后续手稿中有学术摘要明确支持的基本组合运算、自然数分割递推/特殊公式、对称函数、以双重索引表达行列式求和及线性方程消元。组合目标与逻辑语言理想只在逻辑点计其形式推理价值；本点只领具体数学构造。概率、利息/年金、完整行列式理论、Cramer法则、Euler/斯特林/后继发表以及既有微积分结果排除。

补充资料或质疑本项 →

待补：需逐份核读关键分割与行列式手稿的日期、命题、证明和修订层，当前不能把摘要列出的全部结果视为同等成熟。；概率、博弈、年金/利息、对称函数和数论的其余材料尚未形成独立有界终态。；与Seki等独立路线、后继公开发表及实际传递的关系需专门核查。

莱布尼茨提出以概念分解、符号化和组合方式帮助推理的普遍符号语言与演算方案。它不是完成的现代谓词逻辑、自动定理证明或计算机程序，且与二进制算术和组合数学的技术内容分开。

M 的依据

取M5.2：成果超过一句愿景，有公开早期载体和持续手稿中的操作方案；但其有界终态是未完全统一、传播有限的逻辑项目，不是成熟现代逻辑系统。M反映已形成的方法范围与实际交付，不因未读完全部手稿折价，也不因后世相似技术反向抬高。

个人份额的依据

Leibniz 0.39；逻辑和符号前史0.26；早期出版通信0.07；后世编辑翻译0.07；保存机构0.04；完成度和影响未解析0.17。

重叠处理

以1666《组合术论》公开文本为早期载体，并纳入后续characteristica universalis与calculus ratiocinator手稿中有据的符号化概念分解、组合与推理演算方案。数学分割/行列式只在前一数学点计技术价值；二进制的位值运算只在二进制点计。不称完成现代谓词逻辑、计算机程序或自动定理证明，也不领取Boole、De Morgan、Frege等后继独立路线。

补充资料或质疑本项 →

待补：需选取具体逻辑手稿原文，区分概念符号、真值/包含关系和实际推演规则。；已刊与未刊材料、版本时间线及同时代读者范围未闭合。；与十九世纪逻辑的实际传递链必须和相似思想并行发展分开。

阶梯鼓机械计算路线包括1672年构想、1673/1675年模型展示和约1690至1700年存世十进制四则原机。它是设计、模型与原机的有界链条，未证明普遍可靠使用。

M 的依据

取M5.2：该链有具体机械机制、公开模型和约1700存世原机，超过纸面概念；但现有机构记录不支持广泛可靠使用或规模部署，故M评有限原型/装置交付而非成熟计算平台。

个人份额的依据

Leibniz 0.34；机械计算与钟表前史0.20；制造工匠0.23；展示/工坊机构0.07；后世保存复制0.05；未解析0.11。

重叠处理

1672阶梯鼓构想、1673/1675木制模型展示、约1690至1700的存世十进制四则原机及持续改进。只计可定位设计—模型—原机链；不宣称普遍可靠部署，不把1923或现代复制件当原机交付，也不把1679二进制机器概念混入。

补充资料或质疑本项 →

待补：需原机技术报告、工匠账目与修复记录识别制造分工。；需故障、精度、速度和实际操作档案区分展示成功与可靠使用。；1673、1675模型及1690年代原机的版本关系未闭合。

1700年柏林科学学会的创建文书和初期组织设计，涉及跨学科社团、研究文件的交流、检验、保存及档案安排。腓特烈三世的授权、索菲·夏洛特的支持和早期组织者的行政工作均有独立角色；后世学院不包含在内。

M 的依据

取M4.8：BBAW档案直接确认Leibniz的General Instruction与基金文书是核心创设文件，并记录Jablonski承担早期档案行政；官方历史还明确政治授权与多名推动者。该项是具体制度设计和创建服务，高于职位头衔，低于把数百年学院成果作为一个人的广域知识平台。

个人份额的依据

Leibniz 0.30；Frederick III 0.17；Sophie Charlotte 0.10；Jablonski/Chuno/Rabener及早期组织者0.17；学会制度前史0.10；宫廷与社团机构0.08；未解析0.08。

重叠处理

1700年柏林选帝侯科学学会的创建方案、Leibniz起草的基金文书与General Instruction、自然科学和人文学科同一组织设计，以及研究文件保存/评议的早期档案安排。只计创建和初期制度残余；1711后正式开幕、后世普鲁士/东德/今日学院、成员研究与三百年产出排除。

补充资料或质疑本项 →

待补：需基金文书、General Instruction及创建通信的完整原文核读，区分Leibniz与共同推动者的具体条款。；日历特权、资金、天文台和首批成员的实际运行仍需1700至1711档案。；现有M不领取后世学院研究成效，不能用制度延续年限反推个人份额。