田春冰河
2019-09-02 00:00:00 发布
[1/3] 上周五提到的 “重大发现”…… 后来证明是我错了。Milner 关于强互模拟方程组唯一解定理的那个证明其实是正确的，但有一个关键步骤需要针对 “方程” 的定义略加修改。我后来反复探索，最后终于找到了有针对性的修复证明的方法。所以并没有什么重大发现，但这个工作本身已经可以写进论文了。