首页 >
加里
✍ dations ◷ 2025-08-07 21:58:41 #加里
哈斯凯尔·布鲁克·加里(英语: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年的书)。
相关
- 趋化性趋化性(英语:Chemotaxis,亦被称为化学趋向性)是趋向性的一种,指身体细胞、细菌及其他单细胞、多细胞生物依据环境中某些化学物质而趋向的运动(详细请看细胞迁移)。这对细菌寻找食物
- DNA微阵列DNA微阵列(DNA microarray)又称DNA阵列或DNA芯片,比较常用的名字是基因芯片(gene chip)。是一块带有DNA微阵列(microarray)的特殊玻璃片或硅芯片片,在数平方公分之面积上布放数千或
- 蔗糖酶蔗糖酶(Invertase,EC 3.2.1.26)系统名称为β-呋喃果糖苷酶,是可把蔗糖水解为葡萄糖和果糖的酶。它作用于蔗糖的α糖苷键工业使用的蔗糖酶通常从酵母中制取,蜜蜂同样分泌这种酶,
- 1第1周期元素是元素周期表中第一行(即周期)的元素,仅有两个元素:
- 毛发毛发是由皮肤中的毛囊长出的毛,属于丝状的蛋白质物质(英语:protein filament)。毛发是哺乳动物的特征之一。毛发也是一种重要的生物材料(英语:Biomaterial),主要成分是角蛋白。人体
- 神经康复神经可塑性(英语:Neuro-plasticity)是指重复性的经验可以改变大脑的结构,由Richard J. Davidson 在 1992 年提出。神经可塑性是近期的发现,过去的科学家往往认为在婴儿关键期后,大
- 希腊希腊国家图书馆(希腊语:Εθνική Βιβλιοθήκη),位于雅典市中心附近,由丹麦建筑师特奥费尔·翰森设计,为其新古典主义建筑三部曲之一(另外两个是雅典科学院、雅典大学)
- 阿拉瓦克语系阿拉瓦克语系(Arawak),是南美洲和加勒比海的阿拉瓦克族的语言。牙买加的国名来自于此语,是“泉水之岛”的意思。
- 擦音在语音学上,擦音(或摩擦音,fricative consonant)是辅音的一种发音方法。发音时,两个发音器官彼此靠拢,形成狭窄的通道,气流通过时造成湍流发生摩擦,发出噪音。与塞音不同,擦音可以持
- 楚科奇-堪察加语系楚科奇-堪察加语系,又名罗拉维特兰语系(Luorawetlan),是古西伯利亚语言的其中一种,通行于东北西伯利亚。虽然古西伯利亚语言本身的成员未必有关连,但楚科奇-堪察加语族之内的语言