作者CindyLinz (Cindy Wang)
看板PLT
标题Re: [问题] lambda演算的水有多深？
时间Mon Nov 18 14:18:13 2013
※ 引述《carelai (风云人物)》之铭言：
: 很久以前根据一本入门书，自学过lambda calculus，觉得这东西也不是太难，
: 似乎稍花些气力就可以掌握全部，自己的一些想法还可以通过编程验证。
: 但是最近，听说lambda calculus的水其实很深，有些学者一辈子研究它都研究
: 不透，典型的就是英国牛津有些教授一直在专门做这个，所以我想问一下，lambda
: calculus真的这么难吗？其中的内容这么丰富吗？
可以参考一下这篇文章:
http://www.yinwang.org/blog-cn/2013/07/13/church-turing/
对於作者本人, 我觉得立场强烈,
所以大概不会每个角落都绝对地中肯严谨.
不过还蛮值得参考的, 至少它代表有人是这样在理解的. ^^
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 112.121.80.249
1F：推 cutekid:推(Y) 11/22 20:05
2F：推 zatic:王垠推 (Y) 05/07 18:56
3F：推 jimmy1112111: 404 not found 10/01 22:31