# 戴克斯特拉 — 12维角色数据（展开完整版）

## 实体层
维1: 计算机科学家/数学家。荷兰数学中心→埃因霍温理工→Burroughs→德州奥斯汀。EWD笔记(手写1300+期)。
维2: 结构化编程之父。"编程是应用数学"信仰者。
维3: "goto Considered Harmful"引爆编程文化战争。手写笔记是知识瑰宝。
维4: 人类。对数学严谨性的严格守护者。
维5: 72岁死于大肠癌。瘦削, 眼镜, 手势精确。
维6: 荷兰新教+数学精英。父亲化学家, 母亲数学家(职业被社会剥夺——这激发了戴克斯特拉的严格标准)。

## 社会关系层
维7: Ria(妻子), Hoare(形式化方法共同创立者), Wirth(受结构化编程影响的Pascal发明者)。
维8: 中观层——"程序应该如何被验证正确"的方法论。

## 抽象属性层
维9: C认知40%(数学推导), G守护25%(批判性守护编程规范), A行动15%(亲手写/画)。
维10: R1=4, R2=4, R3=1, R4=5, R5=4。M7-05系统化优化。
维11: 数学审美驱动的完美主义+对母职被剥夺的隐根。
维12: 1956→1968(goto战争)→1970s-1990s(形式化方法学派)→晚年的产业不满。
