Stephen Wolfram几十年来在公开写作和演讲里，几乎从不提家人。这次他破了例：妻子Elise Cawley在心脏手术恢复期，虚拟参加了一场孩子的庆祝活动后，突发严重心血管事件，瞬间离世。两人在一起36年，第一次见面是1990年9月17日，育有四个孩子。文章配的照片，是她去世前几个小时拍的。
一个以计算和可验证性立身的人，这次写的是一件完全无法被计算验证的事：他说，她“一直是对的”。
悼文里的Elise Cawley，是个什么样的人
按照文中的描述，她是一位纯数学家，博士论文做的是光滑马尔可夫划分与环面自同构，后来长期研究Teichmüller空间和热力学形式主义（Gibbs理论），拿过Hertz基金会的博士奖学金，做过Dennis Sullivan名下的博士后，在IHES和纽约都工作过。
更关键的是她对Wolfram思想的影响。多年来两人在数学基础问题上争论不休——她坚持公理化形式主义不是数学的真正本质，数学更“人”一些；两人为“圆”这个概念的形而上学属性吵得连孩子都印象深刻。Wolfram在悼文里承认，这几年他绕了一大圈，最终发现她一直是对的，并把这一点写进了自己的元数学项目笔记里公开致谢。他还说，当他开始想observer和ruliad这些概念时，她在哲学和形而上学的理解上一直走在他前面。
这是一段很动人的叙述：一个以“计算不可约性”闻名的理论物理背景的人，被一个私人的、非公开发表的声音，反复纠正了三十多年。
这段叙述，读者能核实哪些，不能核实哪些
问题在于，这类描述能验证的部分和不能验证的部分，边界很清楚。
她的出生、求学经历、任教选择、和Wolfram相识的时间线，属于个人史实，本来就只能来自本人和家属，没有第三方核验的必要，也没有渠道。但悼文里对她学术水平的评价——“top flight in technical mastery”“成果至今仍被引用”——这类判断，理论上是可以被公开的学术记录印证的。
这不是说悼文有问题，而是说这类文本天然就是这个结构：私人史实无从核实也无需核实，但一旦叙述里出现“成果被引用”“影响了我的理论转向”这种可验证性质的判断，读者其实拿不到独立证据，只能选择相信讲述者。
悼词的可信度，来自讲述者的可信，不来自数据库
- 结论.悼文的真实性无需怀疑，但其中对学术贡献的评价终究只有一方证词，这是这类文本的常态，不是这篇文章独有的破绽。
三十年沉默之后，这次为什么破了例
Wolfram的公开人格，一贯建立在“可计算、可验证、可复现”上，无论是Mathematica的规则系统，还是他后来提出的ruliad，核心卖点都是把模糊的东西变成可以形式化检验的东西。恰恰是这样一个人，这次选择用最私人、最无法被形式化的方式，去讲述一个塑造了他后半生思考方式的人。
孔子讲“未知生，焉知死”，这次反过来了——是死，逼着一个习惯把一切讲清楚的人，去讲一段本来讲不清楚、也不打算讲清楚的关系。这不矛盾，反而说明了一件事：他多年对家庭的沉默，本来就是刻意的边界，不是没什么可说，而是不想说。这次边界被打破，本身比悼文里任何一句关于数学的判断都更值得留意。
对读者来说，能带走的判断很简单：这类由公众人物讲述的私人智识故事，永远只能听其言、观其史实，学术贡献那部分的评价，姑且信之，别当成已经核实的结论去引用。