拉姆达演算哈斯克尔布

Shoponabc

哈斯克尔在高中时并没有对数学表现出特别的兴趣。年他进入哈佛大学学习医学但在年毕业前转而学习数学。库里现在决定在电气工程领域寻找职业生涯并在通用电气公司找到了一份工作这使他能够学习电气工程部分内容。在麻省理工学院的时间。两年后他回到哈佛大学学习物理学并于年获得硕士学位。库里在这段时期开始对数理逻辑产生了兴趣当时他接触到了阿尔弗雷德诺斯怀特海德和伯特兰罗素试图将数学建立在符号逻辑基础上的数学原理。于年出版。数学博士哈斯克。

尔布鲁克斯库里留在哈佛攻读博士学位。在数学中。虽然他在的指导下研究微分方程但他的兴趣继续转向逻辑。年当他在普林斯顿大学任教时他发现了在组合逻辑方面的工作。舍恩芬克尔的工作在很大程度上预见了库里自己的研究。在得知舍恩芬克尔被关进精神病院并 WhatsApp 号码数据 因此不再继续他的研究之后库里就谁将成为现在最好的博士寻求建议。导师。维勃伦建议他德国哥廷根的保罗伯奈斯是最好的选择。为了提高获得经济支持的机会库里将他关于组合子的想法写下来发表这成为他。



的第一篇论文逻辑替换的分析发表在年的美国数学杂志上。因此库里搬到了哥廷根在那里他可以与熟悉舍恩芬克尔工作的海因里希贝曼和保罗伯内斯一起工作。库里在大卫希尔伯特的指导下与伯奈斯密切合作获得了博士学位。年发表了一篇关于组合逻辑的论文。鲁克斯库里接受了宾夕法尼亚州立大学的职位并在那里度过了年。年他获得国家研究奖学金在芝加哥大学学习了一年年在普林斯顿高等研究院学习了一年。符号逻辑协会成立于年库里是创始人之。