{
  "uid": "SL-0054",
  "personId": "euclid",
  "name": "欧几里得",
  "version": "V2研究贡献账",
  "scopeNote": "本轮仅列《原本》十三卷依赖式演绎组织一项，不把各命题内容发现全部归于欧几里得。十三卷外著作未审，未覆盖不等于零；不是全生涯总评。M与归功份额为可修订研究判断。",
  "items": [
    {
      "id": "OUT-SL0054-C300BCE-ELEMENTS-DEDUCTIVE-ORGANIZATION",
      "title": "《几何原本》十三卷的依赖式演绎组织与证明体系",
      "year": "约公元前300年（晚期古代归属；现存文本经后世传抄编辑）",
      "M": "7.0",
      "mReason": "该对象把跨几何、比例、数论和立体研究的材料组织为长期可复用的前提—构造—证明链，持续承担数学证明与教材的基础功能。它比Church λ转换与可定义性体系M6.0、Mill归纳方法体系M6.1覆盖更广且跨代更久；与Aristotle三段论演绎系统、Shannon信息论框架等M7对象一样，改变了一个大领域如何组织论证和验证知识。中心不取Newton《原理》综合的7.2：多数命题来自前人，现存文本含逻辑缺口与后期层，候选也排除具体定理发现、现代公理化和后世数学增量。6.8与7.2只是范围敏感性点，不是历史置信区间，也不按卷数或命题数机械定M。",
      "aReason": "中心份额不按后世冠名、卷数或命题数计算。Fitzpatrick明确说多数定理并非Euclid发现；Heath转引的Proclus摘要只在约八世纪后的层面支持Euclid‘put together’、汇集Eudoxus、完善Theaetetus及收紧前人证明，同时Heath列出Euclid以前的elements编纂传统。因此Euclid取0.34作为保守但实质的组织/证明形成份额；内容前史0.46、编纂组织前史0.10和未知0.10共同防止个人吞并整书。34%是有理由暂估，不是来源直接给出的比例。",
      "budget": [
        {
          "actor": "欧几里得",
          "actorId": "SL-0054",
          "type": "PERSON",
          "share": "0.34",
          "role": "按晚期古代摘要和现代编辑判断，承担十三卷材料的汇集、选择、逻辑排序及部分证明收紧；个人动作只能保守投影，不能下放为每条命题首创。"
        },
        {
          "actor": "前欧几里得几何、比例、数论与立体数学内容传统",
          "actorId": "EUCLID-ELEMENTS::PREDECESSOR-MATHEMATICAL-CONTENT",
          "type": "PREDECESSOR_POOL",
          "share": "0.46",
          "role": "承接多数定理与方法的前代形成，包括晚期资料关联的Eudoxus、Theaetetus及广义Pythagorean等传统；不把传统名称虚构为已证个人原作。"
        },
        {
          "actor": "前欧几里得elements编纂与证明组织传统",
          "actorId": "EUCLID-ELEMENTS::PRIOR-ELEMENTS-COMPILATION-TRADITION",
          "type": "PREDECESSOR_POOL",
          "share": "0.10",
          "role": "承接Hippocrates、Leon、Theudius等更早elements编纂、一般化与证明组织路线；证据层不足以逐人切分。"
        },
        {
          "actor": "未解析的古代形成责任",
          "actorId": "EUCLID-ELEMENTS::UNALLOCATED-ANCIENT-FORMATION",
          "type": "UNALLOCATED",
          "share": "0.10",
          "role": "承接佚失文本、无名证明者、Euclid周边协作者及无法从后世传本恢复的古代形成责任；不预留纯传播出版必得份额。"
        }
      ],
      "overlapNote": "本候选选择整体演绎组织作为唯一成果边界。I.48只定位一种依赖式证明增量：它复用I.47、I.8和作图前证；I.1、I.7–8、VII.1–2同样只作样例/子链。未来若某个命题被证明具有可隔离的Euclid个人新证明、独立持续功能和充分前史对照，必须先从整体对象移出对应证明组织与价值后再建项，不能整书和局部同时满额。",
      "missing": "没有Euclid同时代作者证据；Proclus晚期摘要的更早来源未定；传本经过Theon等编辑；十三卷未逐命题校勘，许多内容前史只到传统层。本候选不要求不可能的精确个人百分比或作者原稿，而以较低个人份额、0.56前史和0.10未知承接不确定性。",
      "sources": [
        {
          "label": "Richard Fitzpatrick, Euclid's Elements of Geometry edition introduction",
          "url": "https://farside.ph.utexas.edu/Books/Euclid/Euclid.html",
          "locator": "introduction paragraphs 1–5 and thirteen-book synopsis",
          "supports": "多数定理来自前人、整体逻辑安排的一般归属、I.48的局部例子、十三卷覆盖及持续教材功能。",
          "doesNotSupport": "现代编辑意见不是同时代归属证据，不支持逐命题首创或个人百分比。"
        },
        {
          "label": "T. L. Heath, The Thirteen Books of Euclid's Elements, vol. I (1908) OCR",
          "url": "https://archive.org/download/thirteenbookseu02heibgoog/thirteenbookseu02heibgoog_djvu.txt",
          "locator": "Introduction pp.1, 37–38, 46–58, 116–117; Book I commentary pp.129–131, 261–263",
          "supports": "Proclus晚期摘要的一般汇集/完善证明归属、摘要来源不确定、更早elements传统、后期编辑层及局部依赖组织。",
          "doesNotSupport": "不能把Proclus当同时代见证；Heath历史推论不能精确切分个人份额。"
        },
        {
          "label": "David Joyce, Euclid's Elements Book I Proposition 48",
          "url": "https://mathcs.clarku.edu/~djoyce/java/elements/bookI/propI48.html",
          "locator": "full translated proof and dependency annotations",
          "supports": "I.48通过构造、I.47与I.8完成逆向判定，具体展示前证复用和后续XI.35调用。",
          "doesNotSupport": "命题不自证Euclid个人独创，不能另给I.48一份成果预算。"
        },
        {
          "label": "David Joyce, Elements Book VII guide",
          "url": "https://mathcs.clarku.edu/~djoyce/java/elements/bookVII/bookVII.html",
          "locator": "Guide / Postulates for numbers, lines 175–194; VII.1–3 chain",
          "supports": "VII.1–3是共同求公度链，显示跨命题依赖与未明示终止原则。",
          "doesNotSupport": "不证明算法个人首创，也不证明传世体系符合现代无缺口公理标准。"
        }
      ],
      "summary": "把前代几何、比例、数论、不可公度量与立体几何材料选择、排序并组织成从定义、公设、共同概念和前证逐步推出的十三卷数学体系；只评价可见的依赖式演绎组织、证明收紧与跨卷知识架构，不把数百命题的内容发现全部归于Euclid。",
      "status": "缺证暂估",
      "share": "0.34",
      "exactLight": "1074.834404457248972879623805107124301464648747370573721131551649949482109137340995257044356848962100",
      "light": "1074.834404",
      "standaloneScore": "6.06",
      "lightSharePercent": "100.0000"
    }
  ],
  "provisionalCount": 1,
  "exactTotalLight": "1074.834404457248972879623805107124301464648747370573721131551649949482109137340995257044356848962100",
  "totalLight": "1074.834404",
  "exactScore": "6.063490857223910572194746807369179416178296974218017251580430924516889139935088805908460628963063490",
  "displayScore": "6.06",
  "updatedAt": "2026-09-17",
  "formula": {
    "q": "Q = 10^(M/2) − 1",
    "light": "Lᵢ = aᵢ × Qᵢ",
    "total": "L = Σ Lᵢ",
    "score": "S = 2 × log₁₀(1 + L)"
  },
  "exclusions": [
    {
      "id": "EUCLID-PROPOSITION-DISCOVERIES",
      "title": "各卷命题、作图及算法的个人首创",
      "reason": "现有八个卷内功能族只作覆盖索引；多数内容有前史，不能由整体编纂归属逐条推定个人首创。局部独立建项前须隔离新增功能并扣除重叠。"
    },
    {
      "id": "EUCLID-OTHER-WORKS",
      "title": "十三卷外著作",
      "reason": "尚未审查，不在当前组织项中计分，未覆盖不等于零。"
    },
    {
      "id": "EUCLID-LATER-LAYERS",
      "title": "后期编辑、译注及现代数学增量",
      "reason": "可识别的后插、译者补足、现代公理化、实数与其他后世数学功能不归于古代个人。纯出版传播不自动分配形成份额。"
    }
  ],
  "rank": 71
}