看板 [ PLT ]
討論串[心得] Fixed-points, Curry-Howard, etc.
共 4 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
[心得] Fixed-points, Curry-Howard, etc.
推噓8(8推 0噓 39→)留言47則，0人參與, 最新作者noctem (noctem)時間17年前 (2007/04/25 16:29), 編輯資訊
1
0
1
內容預覽:
Ruby 板在聊 Y combinator. 蠻巧的，昨天發現四月七日也有人在. Haskell mailing list 上面提起 fixed-point.. http://www.mail-archive.com/haskell@haskell.org/msg20045.html. 在 unty
(還有1146個字)
#2
Re: [心得] Fixed-points, Curry-Howard, etc.
推噓1(1推 0噓 1→)留言2則，0人參與, 最新作者godfat (godfat 真常)時間17年前 (2007/04/27 20:02), 編輯資訊
0
0
0
內容預覽:
[quote="置底板規"]. 1. 開放推文，但切勿「推文成章」。也就是，所言超過三行的話，. 請一律使用回文的模式來回覆。. 理由是 a.) 方便管理 b.) 方便閱讀。. [/quote]. 麻煩不要推文推成這樣好嗎？ @_@. 這邊複製一次以利閱讀與討論 @_@. 雖然其實似乎也有點離題了.
#3
Re: [心得] Fixed-points, Curry-Howard, etc.
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者noctem (noctem)時間17年前 (2007/04/27 22:01), 編輯資訊
1
0
0
內容預覽:
Hmm... 我不是很確定懂了buganini的意思啦。講些可能相關的好了。. 不過對於這些東西，我知道的大概也是多看幾遍 wikipedia 的程度. 而已。請先進指正。. 首先是 Church-Turing Thesis. 一般的版本是:. 任何可計算的(computable)函數都可用 Tur
(還有1563個字)
#4
Re: [心得] Fixed-points, Curry-Howard, etc.
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者xcycl (XOO)時間15年前 (2009/06/09 04:07), 編輯資訊
0
0
2
內容預覽:
有的， 可以參考一下這篇 paper. http://www-2.cs.cmu.edu/~lblum/PAPERS/TuringMeetsNewton.pdf. 試著將 TM 拓展到一般的 ring 結構上，這樣使得對複數以及實數等系統，. 也有相對應的計算模型。這篇是很有趣，但是書看起來就很悶了
(還有200個字)
首頁
上一頁
1
下一頁
尾頁