首页 >
加里
✍ dations ◷ 2025-08-28 15:01:43 #加里
哈斯凯尔·布鲁克·加里(英语:Haskell Brooks Curry /ˈhæskəl ˈkɜːri/,1900年9月12日-1982年9月1日),生于美国马萨诸塞州米里镇,数理逻辑学家,专长于组合子逻辑理论。尽管组合子逻辑的概念始于Moses Schönfinkel(英语:Moses Schönfinkel)的一纸论文,其大部分发展工作是由柯里完成的。柯里也因为他的柯里悖论(英语:Curry's paradox)和柯里-霍华德同构而闻名。三个编程语言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年的书)。
相关
- α-变形菌纲α-变形菌(Alphaproteobacteria)是变形菌门(Proteobacteria)下的一个纲。此纲的成员变异性极大,且共通点极少,但他们确实系出同源。α-变形菌大多都是革兰氏阴性菌,而有些包内寄生
- 双氧水过氧化氢,分子式H2O2,是除水外的另一种氢的氧化物。粘性比水稍微高,化学性质不稳定,一般以30%或60%的水溶液形式存放,其水溶液俗称双氧水。过氧化氢有很强的氧化性,且具弱酸性。纯
- ICD-9编码列表 (280–289)Template:Diseases of megakaryocytes
- 电泳电泳是空间匀强电场作用下,分散粒子在流体中发生移动的现象。由于各物质的迁移速率有差别,故电泳是分离物质的常用方法。它又可分为:在盛有红褐色Fe(OH)3胶体的U形管的两个管口
- 雅典式民主雅典式民主或古希腊式民主是在公元前508年于古希腊城邦雅典(包括雅典的中心城邦及其周边的阿提卡地区)发展出的一套民主体系。雅典也因此成为最早的民主政体之一。虽然其他的
- 图书馆坐标:40°00′17″N 116°19′28″E / 40.004845°N 116.32437°E / 40.004845; 116.32437清华大学图书馆始建于1916年,总馆可分为老馆、逸夫馆以及李文正馆(又称北馆)组成。,此
- 主动脉主动脉(希腊语:αορτή)是一大血管,体循环动脉系统的起始主干,它发自左心室。主动脉是身体最大的动脉,直径有2.5-3.5 cm。形如拐杖,弓形开端,向下直到骨盆区。在解剖学、外科学上
- 恶病质恶病体质(Cachexia)代表因疾病引起的体重减轻以及肌肉量减少,呈现衰落的状态,通常为癌症或艾滋病等严重疾病引起的并发症。
- 土耳其土耳其国家图书馆(Millî Kütüphane)是土耳其的国家图书馆,位于该国首都安卡拉。此图书馆成立于1946年4月15日,是土耳其藏书最多的图书馆之一。 该博物馆最初建立时因为空间太
- 语法学语法(英语:Grammar),也称文法,在语言学中指任意自然语言中句子、短语以及词等语法单位的语法结构与语法意义的规律,本质上即音义结合体之间的结合规律。对于语法的研究称为语法学