Loading AI tools
来自维基百科,自由的百科全书
哈斯凱爾·布魯克·柯里(英語:Haskell Brooks Curry /ˈhæskəl ˈkɜːri/,1900年9月12日—1982年9月1日),生於美國麻薩諸塞州米里鎮,數理邏輯學家,專長於組合子邏輯理論。儘管組合子邏輯的概念始於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年的書)。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.