第145章 学术核裂变（1 / 10）
这一章很安静，适合慢慢读。
⚡ 自动翻页
开启后阅读到底自动进入下一章
⚡ 开启自动翻页更爽
看到章尾自动进入下一章，追书不用一直点。
【第3號合併请求：为第38號节点编码双重对合封装器】
提交人：陶哲轩
状態：draft
未请求合併。
陶哲轩没有直接往主分支推任何东西，也没有试图改动江临提交的第七版手稿文本中的任何一个数学符號。
只是在lean4的形式化分支上，像一位技艺高超的建筑师，用代码搭起了一副异常坚固的骨架。
江临点进代码差异標籤页。
文件结构一目了然，新增了三个lean4源文件。
【写到这里我希望读者记一下我们域名 101 看书网体验佳，101??????.??????超讚 】
第一个文件，定义了四变量副本的基础类型和独立性假设。
第二个文件，处理固定宏观可观测变量后的对称条件化，並给出了对合映射下的测度不变性引理。
这是整个证明最易错的深水区。
第三个文件没有写最终的结论，而是留出了一个带有几个待证占位符的明確接口，用於將最终提取的条件互信息项无缝接回第三层损失回收帐本。
代码量出奇地克制，总共不超过三百行。
注释也很少，但每一个变量命名和定理宏都洗炼得像精雕细琢过一样。 ↑↑