跳转到内容

哈斯凯尔·柯里：修订间差异

维基百科，自由的百科全书
以互动方式浏览历史
←上一版本下一版本→
删除的内容 添加的内容
可视化wikitext
Giggle2005（留言 | 贡献）
823次编辑
小 Giggle2005移动页面哈斯凱爾·加里至哈斯凯尔·柯里：标题与内容中对其的称呼都不一致."柯里-霍华德同构"和"柯里化"都是书本里常见的译名,所以通用度更高.
无编辑摘要
第21行： 第21行：
|signature =
|signature =
}}
}}
'''哈斯凱爾·布魯克·加里'''（{{lang-en|Haskell Brooks Curry}} {{IPAc-en|ˈ|h|æ|s|k|əl|_|ˈ|k|ɜr|i}}，{{bd|1900年|9月12日|1982年|9月1日|catIdx=Curry, Haskell Brook}}），生于美國[[麻薩諸塞州]]米里鎮，[[數理邏輯]]學家，專長於[[组合子逻辑]]理論。尽管[[组合子逻辑]]的概念始于[[Moses Schönfinkel]]的一纸论文，其大部分发展工作是由柯里完成的。柯里也因为他的[[柯里悖论]]和[[柯里-霍华德同构]]而闻名。
'''哈斯凱爾·布魯克·加里'''（{{lang-en|Haskell Brooks Curry}} {{IPAc-en|ˈ|h|æ|s|k|əl|_|ˈ|k|ɜr|i}}，{{bd|1900年|9月12日|1982年|9月1日|catIdx=Curry, Haskell Brook}}），生于美國[[麻薩諸塞州]]米里鎮，[[數理邏輯]]學家，專長於[[组合子逻辑]]理論。尽管[[组合子逻辑]]的概念始于{{le|Moses Schönfinkel|Moses Schönfinkel}}的一纸论文，其大部分发展工作是由柯里完成的。柯里也因为他的[[柯里悖论]]和[[柯里-霍华德同构]]而闻名。


程式語言[[Haskell]]與[[Curry]]都是以他的名字來命名的。
三个程式語言[[Haskell]]、{{le|Brook|BrookGPU}}、[[Curry]]，以及[[柯里化]]的概念都是以他的名字來命名的。


==生平==
==生平==
哈斯凱爾·柯里的父母萨麦尔·S·柯里和安娜·B·柯里经营一家教授修辞术的学院。
哈斯凱爾·柯里的父母萨麦尔·S·柯里和安娜·B·柯里经营一家教授修辞术的学院。


1916年他進入[[哈佛大學]]，原先預備攻讀醫學，但很快就轉換到數學領域。1920年畢業後，他在[[麻省理工學院]]工作兩年，之後又回到哈佛大學繼續學業，1924年得到物理學碩士學位，之後取得數學博士學位。在这段时期里，当他接触到[[阿尔弗雷德·诺思·怀特黑德]]和[[伯特兰·罗素]]在数学符号逻辑领域的尝试性著作《[[数学原理]]》后，柯里燃起了对数理逻辑的兴趣。在哈佛学习期间，柯里得到了数学博士学位。在他受[[乔治·戴维·伯克霍夫]]指引而研究微分方程的那段时间里，柯里的兴趣持续转向逻辑学。1927年柯里在[[普林斯顿大学]]时，他发现了[[Moses Schönfinkel]]关于[[组合子逻辑]]的成果。Moses Schönfinkel的成果预言了柯里自己的大部分研究,于是柯里去了[[哥廷根大学]]与熟悉Moses Schönfinkel工作的[[Heinrich Behmann]]、[[Paul Bernays]]两人一起工作。
1916年他進入[[哈佛大學]]，原先預備攻讀醫學，但很快就轉換到數學領域。1920年畢業後，他在[[麻省理工學院]]工作兩年，之後又回到哈佛大學繼續學業，1924年得到物理學碩士學位，之後取得數學博士學位。在这段时期里，当他接触到[[阿尔弗雷德·诺思·怀特黑德]]和[[伯特兰·罗素]]在数学符号逻辑领域的尝试性著作《[[数学原理]]》后，柯里燃起了对数理逻辑的兴趣。在哈佛学习期间，柯里得到了数学博士学位。在他受[[乔治·戴维·伯克霍夫]]指引而研究微分方程的那段时间里，柯里的兴趣持续转向逻辑学。1927年柯里在[[普林斯顿大学]]时，他发现了{{le|Moses Schönfinkel|Moses Schönfinkel}}关于[[组合子逻辑]]的成果。Moses Schönfinkel的成果预言了柯里自己的大部分研究,于是柯里去了[[哥廷根大学]]与熟悉Moses Schönfinkel工作的[[Heinrich Behmann]]、[[Paul Bernays]]两人一起工作。


哈斯凱爾·柯里，1982年9月1日卒于[[宾夕法尼亚州立学院]]，享年82岁。
哈斯凱爾·柯里，1982年9月1日卒于[[宾夕法尼亚州立学院]]，享年82岁。
第51行： 第51行：
* {{cite book |displayauthors=0 |last=Curry |first=Haskell B. |date=1972 |title=Combinatory Logic |volume=II |publisher=North-Holland Publishing Company |location=Amsterdam |isbn=0720422086}}
* {{cite book |displayauthors=0 |last=Curry |first=Haskell B. |date=1972 |title=Combinatory Logic |volume=II |publisher=North-Holland Publishing Company |location=Amsterdam |isbn=0720422086}}


==参考文献==
{{reflist}}


{{Authority control}}
{{Authority control}}
第56行： 第58行：
{{DEFAULTSORT:Curry, Haskell Brook}}
{{DEFAULTSORT:Curry, Haskell Brook}}


[[Category:1900年出生]]
[[Category:1982年逝世]]
[[Category:美國數學家]]
[[Category:美國數學家]]
[[Category:美国逻辑学家]]
[[Category:哈佛大學校友]]
[[Category:哈佛大學校友]]
[[Category:麻省理工学院校友]]
[[Category:麻省理工学院校友]]
[[Category:哈佛大学教师]]
[[Category:普林斯顿大学教授]]
[[Category:普林斯顿大学教授]]
[[Category:賓夕法尼亞州立大學教師]]
[[Category:賓夕法尼亞州立大學教師]]
[[Category:阿姆斯特丹大学教师]]

2018年6月9日 (六) 12:13的版本

Haskell Brooks Curry
HaskellBCurry
出生1900年9月12日 (1900-09-12)
美國麻州米里鎮
逝世1982年9月1日(1982歲—09—01)（81歲）
State College, Pennsylvania
国籍美國
母校哈佛大学
知名于组合子逻辑
柯里-霍华德同构
Curry's paradox
科学生涯
研究领域数理逻辑
机构Penn State
Universiteit van Amsterdam
博士導師大卫·希尔伯特
受影响自Alfred North Whitehead
Bertrand Russell
Moses Schönfinkel

哈斯凱爾·布魯克·加里（英語：Haskell Brooks Curry /ˈhæskəl ˈkɜːri/，1900年9月12日—1982年9月1日），生于美國麻薩諸塞州米里鎮，數理邏輯學家，專長於组合子逻辑理論。尽管组合子逻辑的概念始于Moses Schönfinkel（英语：Moses Schönfinkel）的一纸论文，其大部分发展工作是由柯里完成的。柯里也因为他的柯里悖论和柯里-霍华德同构而闻名。

三个程式語言Haskell、Brook、Curry，以及柯里化的概念都是以他的名字來命名的。

生平

哈斯凱爾·柯里的父母萨麦尔·S·柯里和安娜·B·柯里经营一家教授修辞术的学院。

1916年他進入哈佛大學，原先預備攻讀醫學，但很快就轉換到數學領域。1920年畢業後，他在麻省理工學院工作兩年，之後又回到哈佛大學繼續學業，1924年得到物理學碩士學位，之後取得數學博士學位。在这段时期里，当他接触到阿尔弗雷德·诺思·怀特黑德和伯特兰·罗素在数学符号逻辑领域的尝试性著作《数学原理》后，柯里燃起了对数理逻辑的兴趣。在哈佛学习期间，柯里得到了数学博士学位。在他受乔治·戴维·伯克霍夫指引而研究微分方程的那段时间里，柯里的兴趣持续转向逻辑学。1927年柯里在普林斯顿大学时，他发现了Moses Schönfinkel（英语：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. 
  • 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. 
  • Combinatory Logic II. Amsterdam: North-Holland Publishing Company. 1972. ISBN 0720422086. 

参考文献

  1. ^ Nelson, D. Review: A theory of formal deducibility, by H. B. Curry. Bull. Amer. Math. Soc. 1952, 58 (3): 415–417. doi:10.1090/s0002-9904-1952-09596-3. 
  2. ^ Marcus, R. Barcan. Review: Leçons de logique algébrique, by H. B. Curry. Bull. Amer. Math. Soc. 1952, 58 (2): 673–674. doi:10.1090/s0002-9904-1952-09657-9. 
检索自“https://zh.wikipedia.org/zhwiki/w/index.php?title=哈斯凯尔·柯里&oldid=49908799”