星光榜 / 欧几里得
星光人物档案 · 跨时代榜

欧几里得

欧
欧几里得Euclid行星 T6
他把零散的几何知识变成公理化演绎体系,给人类理性立了两千余年的模板
星光编号SL-0054
暂评6.06
年代 / 领域约前325–前265 · 数学
状态含 1 项暂估

人物简介

Euclid · 约前325–前265 · 数学

欧几里得在本轮有限研究账中仅以《原本》十三卷的依赖式演绎组织与证明体系出现;该账保留晚期归属、后世编辑、内容和编纂前史,以及未解析的古代形成责任。

本轮仅列《原本》十三卷依赖式演绎组织一项,不把各命题内容发现全部归于欧几里得。十三卷外著作未审,未覆盖不等于零;不是全生涯总评。M与归功份额为可修订研究判断。

公开来源

更新于 2026-09-17

评分详情

已评估 1 组贡献,仍在补充。

暂评6.06已评估贡献
评估范围

本轮仅列《原本》十三卷依赖式演绎组织一项,不把各命题内容发现全部归于欧几里得。十三卷外著作未审,未覆盖不等于零;不是全生涯总评。M与归功份额为可修订研究判断。

其中 1 项仍含暂估信息,具体缺口见对应贡献。

计算方式

先看人物评分的简单例子 →

Q = 10^(M/2) − 1;Lᵢ = aᵢ × Qᵢ;L = Σ Lᵢ;S = 2 × log₁₀(1 + L)。

M 表示成果量级,a 表示个人分配份额。每项单项折合分只能用于观察单项尺度,不能直接相加;可相加的是按个人份额分配后的个人亮度。

本次计算的总亮度为 1074.834404。

逐项贡献明细

点击成果可查看评分依据、共同贡献分配与来源。

1 项可见
《几何原本》十三卷的依赖式演绎组织与证明体系OUT-SL0054-C300BCE-ELEMENTS-DEDUCTIVE-ORGANIZATION · 约公元前300年(晚期古代归属;现存文本经后世传抄编辑) · 缺证暂估7.034%1074.834404100.0000%6.06

把前代几何、比例、数论、不可公度量与立体几何材料选择、排序并组织成从定义、公设、共同概念和前证逐步推出的十三卷数学体系;只评价可见的依赖式演绎组织、证明收紧与跨卷知识架构,不把数百命题的内容发现全部归于Euclid。

M 的依据
该对象把跨几何、比例、数论和立体研究的材料组织为长期可复用的前提—构造—证明链,持续承担数学证明与教材的基础功能。它比Church λ转换与可定义性体系M6.0、Mill归纳方法体系M6.1覆盖更广且跨代更久;与Aristotle三段论演绎系统、Shannon信息论框架等M7对象一样,改变了一个大领域如何组织论证和验证知识。中心不取Newton《原理》综合的7.2:多数命题来自前人,现存文本含逻辑缺口与后期层,候选也排除具体定理发现、现代公理化和后世数学增量。6.8与7.2只是范围敏感性点,不是历史置信区间,也不按卷数或命题数机械定M。
个人份额的依据
中心份额不按后世冠名、卷数或命题数计算。Fitzpatrick明确说多数定理并非Euclid发现;Heath转引的Proclus摘要只在约八世纪后的层面支持Euclid‘put together’、汇集Eudoxus、完善Theaetetus及收紧前人证明,同时Heath列出Euclid以前的elements编纂传统。因此Euclid取0.34作为保守但实质的组织/证明形成份额;内容前史0.46、编纂组织前史0.10和未知0.10共同防止个人吞并整书。34%是有理由暂估,不是来源直接给出的比例。
重叠处理
本候选选择整体演绎组织作为唯一成果边界。I.48只定位一种依赖式证明增量:它复用I.47、I.8和作图前证;I.1、I.7–8、VII.1–2同样只作样例/子链。未来若某个命题被证明具有可隔离的Euclid个人新证明、独立持续功能和充分前史对照,必须先从整体对象移出对应证明组织与价值后再建项,不能整书和局部同时满额。

共同贡献分配

  • 欧几里得 · 34%
  • 前欧几里得几何、比例、数论与立体数学内容传统 · 46%
  • 前欧几里得elements编纂与证明组织传统 · 10%
  • 未解析的古代形成责任 · 10%

补充资料或质疑本项 →

待补:没有Euclid同时代作者证据;Proclus晚期摘要的更早来源未定;传本经过Theon等编辑;十三卷未逐命题校勘,许多内容前史只到传统层。本候选不要求不可能的精确个人百分比或作者原稿,而以较低个人份额、0.56前史和0.10未知承接不确定性。

未计入的项目与原因(3)
  • EUCLID-PROPOSITION-DISCOVERIES · 各卷命题、作图及算法的个人首创:现有八个卷内功能族只作覆盖索引;多数内容有前史,不能由整体编纂归属逐条推定个人首创。局部独立建项前须隔离新增功能并扣除重叠。
  • EUCLID-OTHER-WORKS · 十三卷外著作:尚未审查,不在当前组织项中计分,未覆盖不等于零。
  • EUCLID-LATER-LAYERS · 后期编辑、译注及现代数学增量:可识别的后插、译者补足、现代公理化、实数与其他后世数学功能不归于古代个人。纯出版传播不自动分配形成份额。

下载原始公开 JSON ↘ · 未取整数值与计算口径保存在文件中