加里

✍ dations ◷ 2025-06-27 09:53:35 #加里
哈斯凯尔·布鲁克·加里(英语: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年的书)。

相关

  • 健康检查全面医学检查(英文:general medical examination)又称为健康检查(英文:Health Check)是为一种常见的预防医学。一个具体的定义为:一个自我感觉健康良好的成人定期到院进行身心健康
  • 佐剂免疫佐剂(英语:Immunologic adjuvant或 Immunoadjuvant,简称佐剂,英语:adjuvant)是指与抗原同时或预先注射到动物体内,可非特异性地增强机体对该抗原的免疫应答的物质 ,或称为非特异
  • 分裂生殖分裂(英语:Fission),又叫裂殖,在生物学中是指一个细胞(或身体、种群或物种)分为两个或多个部分,以及这些部分再生为细胞(身体、种群或物种)。通常是单细胞生物所形的生殖方式。该种生
  • 矿难矿难,指在采矿过程中发生的事故,通常造成伤亡的危险性极大。世界上每年至少有几千人死于矿难。矿难发生的频率在中国等发展中国家尤为突出。在2003年,中国生产了世界约35%的煤,
  • 肝胆肠胃科胃肠学(英语:Gastroenterology,又称为肠胃病学)是医学的一个分枝,专门研究消化系统(从口腔到肛门的消化道)及相关疾病。
  • 冰川冰川(Glacier)是指大量冰块堆积形成如同河川般的地理景观。是一巨大的流动固体,是在高寒地区由层层积雪堆叠而成的巨大冰川冰。在终年冰封的高山或两极地区,多年的积雪经重力或
  • 中国疾病预防控制中心中国疾病预防控制中心(英语:Chinese Center for Disease Control and Prevention, CCDC),简称中国疾控中心,是由中华人民共和国政府举办的实施国家级疾病预防控制与公共卫生技术
  • 永隆省永隆省(越南语:Tỉnh Vĩnh Long/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H","
  • 卡尔·巴特卡尔·巴特 (Karl Barth,1886年5月10日-1968年12月10日) ,瑞士籍新教神学家,新正统神学的代表人物之一。John Bowden描述他是一位时代先知、教授、政治家和神学领袖。在德国求学期
  • 主编总编辑,也称总编、主编,是媒体事业之中,负责编辑、策画、指导新闻、指挥采访业务部门的主管。在较小型的媒体之中,总编辑常须自行参与编采业务;然而在较大的媒体事业,总编辑往往只