[1/3] 这就是卡了我一个多月的那个引理,证明过程举步维艰。我连续两个晚上工作到深夜,终于临近尾声了。现在得到的简化目标和 60 个假设看起来完全可行。λ 演算原本是最简单的形式化系统,但是却衍生出一些极其复杂和难以证明的定理来。我现在相信这个项目的潜在竞争者不太可能超过我,因为他们缺少破釜沉舟、证不出来就失业的压力。
[1/3] 这就是卡了我一个多月的那个引理,证明过程举步维艰。我连续两个晚上工作到深夜,终于临近尾声了。现在得到的简化目标和 60 个假设看起来完全可行。λ 演算原本是最简单的形式化系统,但是却衍生出一些极其复杂和难以证明的定理来。我现在相信这个项目的潜在竞争者不太可能超过我,因为他们缺少破釜沉舟、证不出来就失业的压力。
No replies yet.