星光榜 / 艾兹赫尔·迪杰斯特拉
亮星详情 · 跨时代榜艾兹赫尔·迪杰斯特拉
已核实 · 待独立复评（AI 辅助编目 · 评于 2026-07）：人物存在性已核实，独立复评与必要的红蓝复核尚待完成。页面中的小数和名次是当前输入在 HCF Canonical v1 公式下的草案排序，不代表证据达到同等精度；排名靠前不会自动获得认证。
艾
艾兹赫尔·迪杰斯特拉Edsger W. DijkstraT6 · 行星
把编程从随手可写的手工技艺变成可推理、可证明正确的严谨学科。
星光编号SL-0171
星阶T6 · 行星
年代 / 领域1930–2002 · 算法
状态已核实 · 待独立复评
文明贡献与代表成果
核心贡献
把编程从随手可写的手工技艺变成可推理、可证明正确的严谨学科。
这分是怎么落桶的 · 计分卡
已核实 · 待独立复评分档口径：极高 / 高 / 中 / 低 / 微。没点亮的桶亮度算 0、只加不减，不拖后腿也不当负分。
认知与真理
高
最短路径算法、信号量/互斥概念、程序正确性形式化方法（weakest precondition）奠定计算科学理论基石，1972 年图灵奖，教科书沿用至今。
能力与生产力
高
'GOTO有害论'推动结构化编程成为行业范式，Dijkstra 算法内嵌于导航/网络路由等无处不在的系统，互斥原语是所有并发软件的地基。
文化价值与意义
微
EWD 手稿与'简洁即美德'的工程美学塑造了程序员文化中的纪律传统，属行业内文化影响。
生存与健康
微
这桶基本没点亮，仅经计算基础设施（如医疗系统路径规划）有极间接外溢。 〔2026-07-10 空桶=0:原背景分作废、不计入总光度〕
可持续与文明安全
微
这桶基本没点亮。 〔2026-07-10 空桶=0:原背景分作废、不计入总光度〕
协作与治理
微
这桶基本没点亮。 〔2026-07-10 空桶=0:原背景分作废、不计入总光度〕
桶亮度相加，一句人话：每桶分数先换成亮度（b = 10G/2 − 1，分越高亮度涨得越快），六桶亮度相加成总光度，再压缩成对外分、落进星阶——所以偏科的支柱型贡献照样能站上高阶。公式本身 → 读这把尺。
计分推导 · 五维明细全展开AUDIT · 可逐行复算
| 桶 | I | S | D | U | Sp | G = 五维几何平均 |
|---|---|---|---|---|---|---|
| 认知与真理 | 8 | 7 | 8 | 7 | 7 | 7.384 |
| 能力与生产力 | 7 | 8 | 8 | 6 | 7 | 7.16 |
| 文化价值与意义 | 3 | 3 | 4 | 3 | 3 | 3.178 |
| 生存与健康 | 0 | 0 | 0 | 0 | 0 | 0 |
| 可持续与文明安全 | 0 | 0 | 0 | 0 | 0 | 0 |
| 协作与治理 | 0 | 0 | 0 | 0 | 0 | 0 |
五维 = Impact 影响强度 / Scope 影响范围 / Duration 持续时间 / Uniqueness 不可替代 / Spillover 外溢，每维 0–10，五维相乘开五次方根——任何一维塌了都会拖低整桶，偏科救不了单桶。聚合层由脚本按现行尺确定性复算，不经人手。