加里

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

相关

  • 伤口愈合伤口愈合或创伤愈合(Wound healing)是创伤后人体皮肤和表皮组织再生的自然过程。正常来说,皮肤的表皮(最外层)和真皮(内部或深层)存在于一个平衡的状态,以形成一个保护伤口的屏障。
  • 压力压力是一个心理学与生物学的术语,意指人类或动物面对情绪上或身体上的有形或无形威胁时,无法正常回应的感受状态。该名词首次出现于1930年代的生物学研究领域里,近年来已逐渐为
  • 化疗人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学化学疗法(英语:Chemotherapy),简称化疗(Che
  • 无菌性脑膜炎脑膜炎(英语:meningitis)指发生于脑膜的急性炎症,脑膜是包裹大脑和脊髓的保护薄膜。脑膜炎最常见的症状是发热、头痛和颈部僵硬。其他症状还包含精神错乱(英语:mental confusion)或
  • 骨髓来源细胞人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学骨髓(英语:bone marrow)位于较大骨骼的腔
  • Sirius可视化软件Sirius可视化软件(简称Sirius)是圣地亚哥超级计算机中心(San Diego Supercomputer Center)所开发的一个分子建模与分析系统。Sirius设计旨在支持除简单显示小分子和蛋白质的之外
  • 原始希腊原始希腊语(Proto-Greek、Proto-Hellenic)是假定的所有已知希腊语变体的最近公共祖先,包括了迈锡尼语,古希腊语方言如雅典-爱奥尼亚方言, 伊欧里斯方言,多利亚方言和西北希腊方言
  • 中国工程院中国工程院院徽中国科学院 中国社会科学院中国工程院,简称工程院、中工院,是中华人民共和国工程科学技术界的最高荣誉性、咨询性学术机构,为正部级国务院直属事业单位。中国工
  • 三叉神经三叉神经(Trigeminal nerve)为混合神经,也就是既含有运动神经又含有感觉神经。感觉部分收集来自面部和头部的信息,运动部分则控制咀嚼肌。三叉神经是面部最粗大的神经,它的运动部
  • 脚趾脚趾是人或一些动物的脚上的指头。人的脚趾的背部受指甲的保护,其他动物则演变成爪。人类脚趾在生理学上扮演的意义不亚于双手,在演化学的研究中相当重要。现代人的双脚绝大多