哈斯凱爾·柯里
哈斯凱爾·布魯克·柯里（英語：Haskell Brooks Curry /ˈhæskəl ˈkɜːri/，1900年9月12日—1982年9月1日），生於美國麻薩諸塞州米里鎮，數理邏輯學家，專長於組合子邏輯理論。儘管組合子邏輯的概念始於Moses Schönfinkel的一紙論文，其大部分發展工作是由柯里完成的。柯里也因為他的柯里悖論和柯里-霍華德同構而聞名。
| Haskell Brooks Curry | |
|---|---|
| 出生 | 1900年9月12日 美國麻州米里鎮 |
| 逝世 | 1982年9月1日（81歲） State College, Pennsylvania |
| 國籍 | 美國 |
| 母校 | 哈佛大學 |
| 知名於 | 組合子邏輯 柯里-霍華德同構 柯里悖論 |
| 科學生涯 | |
| 研究領域 | 數理邏輯 |
| 機構 | 賓夕法尼亞州立大學 阿姆斯特丹大學 |
| 博士導師 | 大衛·希爾伯特 |
| 受影響自 | 阿爾弗雷德·諾思·懷特黑德 伯特蘭·羅素 Moses Schönfinkel |
生平
哈斯凱爾·柯里的父母薩麥爾·S·柯里和安娜·B·柯里經營一家教授修辭術的學院。
1916年他進入哈佛大學，原先預備攻讀醫學，但很快就轉換到數學領域。1920年畢業後，他在麻省理工學院工作兩年，之後又回到哈佛大學繼續學業，1924年得到物理學碩士學位，之後取得數學博士學位。在這段時期里，當他接觸到阿爾弗雷德·諾思·懷特黑德和伯特蘭·羅素在數學符號邏輯領域的嘗試性著作《數學原理》後，柯里燃起了對數理邏輯的興趣。在哈佛學習期間，柯里得到了數學博士學位。在他受喬治·戴維·伯克霍夫指引而研究微分方程的那段時間裡，柯里的興趣持續轉向邏輯學。1927年柯里在普林斯頓大學時，他發現了Moses Schönfinkel關於組合子邏輯的成果。Moses Schönfinkel的成果預言了柯里自己的大部分研究,於是柯里去了哥廷根大學與熟悉Moses Schönfinkel工作的Heinrich Behmann、Paul Bernays兩人一起工作。
哈斯凱爾·柯里，1982年9月1日卒於賓夕法尼亞州立學院，享年82歲。
工作成果
柯里的工作重點試圖表明組合邏輯可以為數學提供一個基礎。 到了1933年底，他從與John Rosser的通信中了解到了Kleene-Rosser悖論。 由Rosser和Stephen Kleene開發的這個悖論證明了一些相關的形式系統的不一致性，包括由Alonzo Church（一個有lambda演算作為一致子系統的系統）和柯里自己的系統提出的系統。 然而與邱奇，Kleene和Rosser不同的是，柯里並沒有放棄基礎的方法，他說他不想「逃離這個悖論」。
在研究組合邏輯的生涯中，柯里基本上成了這個領域的創始人。 組合邏輯是一種函數式編程範式的基礎，能力和範圍與邱奇的lambda演算非常相似，而後者近幾十年來由其對可計算性質的形式化，居於計算機科學的主導地位。1947年柯里描述了第一個高級編程語言之一，並提供了將一般算術表達式轉換為單地址計算機代碼的過程的第一個描述。他在哈佛，普林斯頓，並於1929年至1966年，在賓夕法尼亞州立大學任教。1942年發表了柯里悖論。1966年成為阿姆斯特丹大學的邏輯學及其精確科學哲學教授，Evert Willem Beth的繼任者。
柯里也撰寫和教授數理邏輯；他的教學成果在1963年的《數學邏輯的基礎》一書中到達巔峰。追隨他的導師希爾伯特，他自認偏好的數學哲學是形式主義（比較他1951年的書）。
主要著作
- Grundlagen der Kombinatorischen Logik [Foundations of combinatorial logic]. American Journal of Mathematics (The Johns Hopkins University Press). 1930, 52 (3): 509–536. JSTOR 2370619. doi:10.2307/2370619 （德語）.
- A theory of formal deducibility. University of Notre Dame Press. 1950.[1]
- A theory of formal deducibility 2nd. University of Notre Dame Press. 1957.
- Outlines of a formalist philosophy of mathematics. Amsterdam: Elsevier Science. 1951 [23 July 2012]. ISBN 0444533680. （原始內容存檔於2016-11-19）.
- Leçons de logique algébrique. Paris: Gauthier-Villars. 1952 （法語）.[2]
- Curry, Haskell; Feys, Robert. Combinatory Logic I. Amsterdam: North-Holland Publishing Company. 1958.
- Foundations of Mathematical Logic. Mcgraw Hill. 1963.
- Foundations of mathematical logic Unabridged and corrected Dover. New York: Dover Publications. 1977 [23 July 2012]. ISBN 0-486-63462-0. （原始內容存檔於2018-01-20）.
- Combinatory Logic II. Amsterdam: North-Holland Publishing Company. 1972. ISBN 0720422086.
參考文獻
- ^ Nelson, D. Review: A theory of formal deducibility, by H. B. Curry. Bull. Amer. Math. Soc. 1952, 58 (3): 415–417 [2018-01-19]. doi:10.1090/s0002-9904-1952-09596-3. （原始內容存檔於2018-01-20）.
- ^ Marcus, R. Barcan. Review: Leçons de logique algébrique, by H. B. Curry. Bull. Amer. Math. Soc. 1952, 58 (2): 673–674 [2018-01-19]. doi:10.1090/s0002-9904-1952-09657-9. （原始內容存檔於2018-01-20）.