跳转到内容

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

维基百科,自由的百科全书
删除的内容 添加的内容
Cewbot留言 | 贡献
Robot: en wiki 之規範控制 (Authority control) 模板轉移作業
CommonsDelinker留言 | 贡献
移除HaskellBCurry.jpg,已被Ruthven刪除:Missing essential information such as license, permission or source (F5)。
 
(未显示14个用户的26个中间版本)
第1行: 第1行:
{{Distinguish|Curry}}
'''哈斯凱爾·柯里'''({{lang-en|Haskell Brooks Curry}},{{bd|1900年|9月12日|1982年|9月1日|catIdx=Curry, Haskell Brook}}),美國[[麻薩諸塞州]]米里鎮,[[數理邏輯]]學家,專長於[[组合子逻辑]]理論。尽管[[组合子逻辑]]的概念始于[[Moses Schönfinkel]]的一纸论文,其大部分发展工作是由柯里完成的。柯里也因为他的[[柯里悖论]]和[[柯里-霍华德同构]]而闻名。
{{Infobox scientist
|name =Haskell Brooks Curry
|image =
|birth_date ={{Birth-date|September 12, 1900|September 12, 1900}}
|birth_place ={{USA}}麻州米里鎮
|death_date ={{Death date and age|1982|9|1|1900|9|12|mf=y}}
|death_place =[[State College, Pennsylvania]]
|residence =
|citizenship =
|nationality ={{USA}}
|field =[[数理逻辑]]
|work_institutions =[[宾夕法尼亚州立大学]]<br /> [[阿姆斯特丹大学]]
|alma_mater =[[哈佛大学]]
|doctoral_advisor =[[大卫·希尔伯特]]
|doctoral_students =
|known_for =[[组合子逻辑]]<br />[[柯里-霍华德同构]]<br />[[柯里悖论]]
|influences =[[阿尔弗雷德·诺思·怀特黑德]]<br />[[伯特兰·罗素]]<br />{{le|Moses Schönfinkel|Moses Schönfinkel}}
|influenced =
|prizes =
|footnotes =
|signature =
}}
'''哈斯凱爾·布魯克·柯里'''({{lang-en|Haskell Brooks Curry}} {{IPAc-en|ˈ|h|æ|s|k|əl|_|ˈ|k|ɜr|i}},{{bd|1900年|9月12日|1982年|9月1日}}),生于美國[[麻薩諸塞州]]米里鎮,[[數理邏輯]]學家,專長於[[组合子逻辑]]理論。尽管[[组合子逻辑]]的概念始于{{le|Moses Schönfinkel|Moses Schönfinkel}}的一纸论文,其大部分发展工作是由柯里完成的。柯里也因为他的[[柯里悖论]]和[[柯里-霍华德同构]]而闻名。


程式語言[[Haskell]]、{{link-en|Brooks_(编程语言)|Brooks (programming language)|Brooks}}[[Curry]]都是以他的名字來命名的。
三个程式語言[[Haskell]]、{{en-link|BrookGPU|BrookGPU|Brook}}[[Curry]],以及[[柯里化]]的概念都是以他的名字來命名的。


==生平==
==生平==
哈斯凱爾·柯里,1900年12月9日生于[[麻薩諸塞州]]米里鎮,其父母萨麦尔·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岁。


== 工作成果 ==
{{Authority control}}
柯里的工作重點試圖表明組合邏輯可以為數學提供一個基礎。 到了1933年底,他從與John Rosser的通信中了解到了Kleene-Rosser悖論。 由Rosser和Stephen Kleene開發的這個悖論證明了一些相關的形式系統的不一致性,包括由Alonzo Church(一個有lambda演算作為一致子系統的系統)和柯里自己的系統提出的系統。 然而與邱奇,Kleene和Rosser不同的是,柯里並沒有放棄基礎的方法,他說他不想“逃離這個悖論”。
{{Mathematician-stub}}


在研究組合邏輯的生涯中,柯里基本上成了這個領域的創始人。 組合邏輯是一種函數式編程範式的基礎,能力和範圍與邱奇的lambda演算非常相似,而後者近幾十年來由其對可計算性質的形式化,居於計算机科學的主導地位。1947年柯里描述了第一個高級編程語言之一,並提供了將一般算術表達式轉換為單地址計算機代碼的過程的第一個描述。他在哈佛,普林斯頓,並於1929年至1966年,在賓夕法尼亞州立大學任教。1942年發表了柯里悖論。1966年成為阿姆斯特丹大學的邏輯學及其精確科學哲學教授,Evert Willem Beth的繼任者。

柯里也撰寫和教授數理邏輯;他的教學成果在1963年的《數學邏輯的基礎》一書中到達巔峰。追隨他的導師希爾伯特,他自認偏好的數學哲學是形式主義(比較他1951年的書)。

== 主要著作 ==
* {{cite journal |displayauthors=0 |last=Curry |first=Haskell Brooks |authorlink=Haskell Curry |date=1930 |title=Grundlagen der Kombinatorischen Logik |url=https://archive.org/details/sim_american-journal-of-mathematics_1930-07_52_3/page/509 |trans-title=Foundations of combinatorial logic |journal=American Journal of Mathematics |publisher=The Johns Hopkins University Press |language=de |doi=10.2307/2370619 |volume=52 |number=3 |pages=509–536 |jstor=2370619 }}
* {{cite book |displayauthors=0 |last=Curry |first=Haskell B. |authorlink=Haskell Curry |date=1950 |title=A theory of formal deducibility |url=https://archive.org/details/theoryofformalde0000curr |publisher=University of Notre Dame Press}}<ref>{{cite journal |last=Nelson |first=D. |authorlink=Nels David Nelson |date=1952 |title=Review: ''A theory of formal deducibility'', by H. B. Curry |journal=Bull. Amer. Math. Soc. |doi=10.1090/s0002-9904-1952-09596-3 |volume=58 |issue=3 |pages=415–417 |url=http://www.ams.org/journals/bull/1952-58-03/S0002-9904-1952-09596-3/ |access-date=2018-01-19 |archive-date=2018-01-20 |archive-url=https://web.archive.org/web/20180120070210/http://www.ams.org/journals/bull/1952-58-03/S0002-9904-1952-09596-3/ |dead-url=no }}</ref>
** {{cite book |displayauthors=0 |last=Curry |first=Haskell B. |authorlink=Haskell Curry |date=1957 |title=A theory of formal deducibility |edition=2nd |publisher=University of Notre Dame Press}}
* {{cite book |displayauthors=0 |last=Curry |first=Haskell B. |authorlink=Haskell Curry |date=1951 |title=Outlines of a formalist philosophy of mathematics |publisher=Elsevier Science |location=Amsterdam |isbn=0444533680 |url=https://books.google.com/books?id=tZHrBQgp1bkC&printsec=frontcover&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false |accessdate=23 July 2012 |archive-date=2016-11-19 |archive-url=https://web.archive.org/web/20161119235247/https://books.google.com/books?id=tZHrBQgp1bkC&printsec=frontcover&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false |dead-url=no }}
* {{cite book |displayauthors=0 |last=Curry |first=Haskell B. |date=1952 |title=Leçons de logique algébrique |publisher=Gauthier-Villars |location=Paris |language=fr}}<ref>{{cite journal |last=Marcus |first=R. Barcan |authorlink=Ruth Barcan Marcus |date=1952 |title=Review: ''Leçons de logique algébrique'', by H. B. Curry |journal=Bull. Amer. Math. Soc. |doi=10.1090/s0002-9904-1952-09657-9 |volume=58 |issue=2 |pages=673–674 |url=http://www.ams.org/journals/bull/1952-58-06/S0002-9904-1952-09657-9/ |access-date=2018-01-19 |archive-date=2018-01-20 |archive-url=https://web.archive.org/web/20180120070208/http://www.ams.org/journals/bull/1952-58-06/S0002-9904-1952-09657-9/ |dead-url=no }}</ref>
* {{cite book |last1=Curry |first1=Haskell |authorlink1=Haskell Curry |last2=Feys |first2=Robert |date=1958 |title=Combinatory Logic |volume=I |publisher=North-Holland Publishing Company |location=Amsterdam}}
* {{cite book |displayauthors=0 |last=Curry |first=Haskell |date=1963 |title=Foundations of Mathematical Logic |url=https://archive.org/details/foundationsofmat0000curr |publisher=Mcgraw Hill}}
** {{cite book |displayauthors=0 |last=Curry |first=Haskell B. |date=1977 |title=Foundations of mathematical logic |edition=Unabridged and corrected Dover |publisher=Dover Publications |location=New York |isbn=0-486-63462-0 |url=http://store.doverpublications.com/0486634620.html |accessdate=23 July 2012 |archive-date=2018-01-20 |archive-url=https://web.archive.org/web/20180120070358/http://store.doverpublications.com/0486634620.html |dead-url=no }}
* {{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}}
{{DEFAULTSORT:Curry, Haskell Brook}}
{{DEFAULTSORT:Curry, Haskell Brook}}


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

2022年9月15日 (四) 11:12的最新版本

Haskell Brooks Curry
出生1900年9月12日 (1900-09-12)
 美国麻州米里鎮
逝世1982年9月1日(1982歲—09—01)(81歲)
State College, Pennsylvania
国籍 美国
母校哈佛大学
知名于组合子逻辑
柯里-霍华德同构
柯里悖论
科学生涯
研究领域数理逻辑
机构宾夕法尼亚州立大学
阿姆斯特丹大学
博士導師大卫·希尔伯特
受影响自阿尔弗雷德·诺思·怀特黑德
伯特兰·罗素
Moses Schönfinkel英语Moses Schönfinkel

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

三个程式語言HaskellBrook英语BrookGPUCurry,以及柯里化的概念都是以他的名字來命名的。

生平

[编辑]

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

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

主要著作

[编辑]

参考文献

[编辑]
  1. ^ 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). 
  2. ^ 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). 

外部連結

[编辑]