哈斯凯尔·柯里:修订间差异
小 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}} |
|||
⚫ | |||
{{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 = |
|||
}} |
|||
⚫ | |||
程式語言[[Haskell]]、{{ |
三个程式語言[[Haskell]]、{{en-link|BrookGPU|BrookGPU|Brook}}、[[Curry]],以及[[柯里化]]的概念都是以他的名字來命名的。 |
||
==生平== |
==生平== |
||
哈斯凱爾·柯里 |
哈斯凱爾·柯里的父母萨麦尔·S·柯里和安娜·B·柯里经营一家教授修辞术的学院。 |
||
1916年他進入[[哈佛大學]],原先預備攻讀醫學,但很快就轉換到數學領域。1920年畢業後,他在[[麻省理工學院]]工作兩年,之後又回到哈佛大學繼續學業,1924年得到物理學碩士學位,之後取得數學博士學位。在这段时期里,当他接触到[[阿尔弗雷德·诺思·怀特黑德]]和[[伯特兰·罗素]]在数学符号逻辑领域的尝试性著作《[[数学原理]]》后,柯里燃起了对数理逻辑的兴趣。在哈佛学习期间,柯里得到了数学博士学位。在他受[[乔治·戴维·伯克霍夫]]指引而研究微分方程的那段时间里,柯里的兴趣持续转向逻辑学。1927年柯里在[[普 |
1916年他進入[[哈佛大學]],原先預備攻讀醫學,但很快就轉換到數學領域。1920年畢業後,他在[[麻省理工學院]]工作兩年,之後又回到哈佛大學繼續學業,1924年得到物理學碩士學位,之後取得數學博士學位。在这段时期里,当他接触到[[阿尔弗雷德·诺思·怀特黑德]]和[[伯特兰·罗素]]在数学符号逻辑领域的尝试性著作《[[数学原理]]》后,柯里燃起了对数理逻辑的兴趣。在哈佛学习期间,柯里得到了数学博士学位。在他受[[乔治·戴维·伯克霍夫]]指引而研究微分方程的那段时间里,柯里的兴趣持续转向逻辑学。1927年柯里在[[普林斯顿大学]]时,他发现了{{le|Moses Schönfinkel|Moses Schönfinkel}}关于[[组合子逻辑]]的成果。Moses Schönfinkel的成果预言了柯里自己的大部分研究,于是柯里去了[[哥廷根大学]]与熟悉Moses Schönfinkel工作的[[Heinrich Behmann]]、[[Paul Bernays]]两人一起工作。 |
||
哈斯凱爾·柯里,1982年9月1日卒于宾夕法尼亚 |
哈斯凱爾·柯里,1982年9月1日卒于[[宾夕法尼亚州立学院]],享年82岁。 |
||
== 工作成果 == |
|||
⚫ | |||
柯里的工作重點試圖表明組合邏輯可以為數學提供一個基礎。 到了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}} |
|||
== 外部連結 == |
|||
⚫ | |||
{{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日 美国麻州米里鎮 |
逝世 | 1982年9月1日 State College, Pennsylvania | (81歲)
国籍 | 美国 |
母校 | 哈佛大学 |
知名于 | 组合子逻辑 柯里-霍华德同构 柯里悖论 |
科学生涯 | |
研究领域 | 数理逻辑 |
机构 | 宾夕法尼亚州立大学 阿姆斯特丹大学 |
博士導師 | 大卫·希尔伯特 |
受影响自 | 阿尔弗雷德·诺思·怀特黑德 伯特兰·罗素 Moses Schönfinkel |
哈斯凱爾·布魯克·柯里(英語:Haskell Brooks Curry /ˈhæskəl ˈkɜːri/,1900年9月12日—1982年9月1日),生于美國麻薩諸塞州米里鎮,數理邏輯學家,專長於组合子逻辑理論。尽管组合子逻辑的概念始于Moses Schönfinkel的一纸论文,其大部分发展工作是由柯里完成的。柯里也因为他的柯里悖论和柯里-霍华德同构而闻名。
三个程式語言Haskell、Brook、Curry,以及柯里化的概念都是以他的名字來命名的。
生平
[编辑]哈斯凱爾·柯里的父母萨麦尔·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).