Re: [問題] lambda演算的水有多深？
※ 引述《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
推
11/22 20:05, , 1F
11/22 20:05, 1F
推
05/07 18:56, , 2F
05/07 18:56, 2F
推
10/01 22:31, , 3F
10/01 22:31, 3F
討論串 (同標題文章)
PLT 近期熱門文章
PTT數位生活區 即時熱門文章
