推 cutekid:推(Y) 11/22 20:05
推 zatic:王垠推 (Y) 05/07 18:56
推 jimmy1112111: 404 not found 10/01 22:31
※ 引述《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