[1/3] 整个上周末困扰我的那个重要引理终于被我在周一下班前1小时的时候顽强地搞出来了。回头看看这个证明过程,我自己都觉得不可思议。λ 演算的这部分的整个证明思路是我自己独立想出来的,我导师一开始建议我使用 de Bruijn 编码但我觉得更麻烦,所以硬着头皮按我自己的思路一路走下来了。教科书上的这一页,我整整翻了一个半月。我导师他不可能开了我,他得请我吃饭!
[1/3] 整个上周末困扰我的那个重要引理终于被我在周一下班前1小时的时候顽强地搞出来了。回头看看这个证明过程,我自己都觉得不可思议。λ 演算的这部分的整个证明思路是我自己独立想出来的,我导师一开始建议我使用 de Bruijn 编码但我觉得更麻烦,所以硬着头皮按我自己的思路一路走下来了。教科书上的这一页,我整整翻了一个半月。我导师他不可能开了我,他得请我吃饭!
No replies yet.