開啟主選單
求真百科
搜尋
檢視 哈斯凱爾·柯里 的原始碼
←
哈斯凱爾·柯里
由於下列原因,您沒有權限進行 編輯此頁面 的動作:
您請求的操作只有這個群組的使用者能使用:
用戶
您可以檢視並複製此頁面的原始碼。
{| class="wikitable" style="float:right; margin: -10px 0px 10px 20px; text-align:left" ! <p style="background: #FFB5B5; color: #000000; margin:auto; padding:5px 0; "> '''哈斯凱爾·柯里''' </p> |- |<center><img src="https://mathshistory.st-andrews.ac.uk/Biographies/Curry/thumbnail.jpg" width="280"></center><small>[https://mathshistory.st-andrews.ac.uk/Biographies/Curry/ 圖片來自mathshistory] </small> |} '''哈斯凱爾·布魯克·柯里'''(Haskell Brooks Curry ,{{bd|1900年|9月12日|1982年|9月1日}}),生于美國[[麻薩諸塞州]]米里鎮,[[數理邏輯]]學家,專長於[[组合子逻辑]]理論。尽管[[组合子逻辑]]的概念始于Moses Schönfinkel的一纸论文,其大部分发展工作是由柯里完成的。 柯里也因为他的[[柯里悖论]]和[[柯里-霍华德同构]]而闻名。 三个程式語言[[Haskell]]、BrookGPU、[[Curry]],以及[[柯里化]]的概念都是以他的名字來命名的。
返回「
哈斯凱爾·柯里
」頁面