摩西·舍恩芬克尔：组合逻辑先驱 | AI生成和翻译
摩西·舍恩芬克尔（1888–1942）是俄罗斯逻辑学家和数学家，主要因创立组合子逻辑而闻名。他出生于叶卡捷琳诺斯拉夫（今乌克兰第聂伯罗），在敖德萨新罗西斯克大学师从萨穆伊尔·奥西波维奇·沙图诺夫斯基学习数学。
1914年至1924年间，舍恩芬克尔是德国哥廷根大学大卫·希尔伯特领衔的学术团体成员。1920年12月7日，他在该团体发表了题为《逻辑要素》的关键演讲，系统阐述了组合子逻辑的基础概念。这项研究后经海因里希·贝曼修订，于1924年以《论数理逻辑的基石》为题发表。
舍恩芬克尔的核心贡献在于建立了一个避免使用约束变量的形式系统，这在当时逻辑学领域具有重大突破意义。他的系统基于”组合子”（他称之为”基石”），特别是S、K组合子及全称量化的NAND函数（他称之为U）。他论证了这一看似简单的系统不仅与谓词逻辑具有同等表达能力，还能被归约为最简组合子集合（尤其是S和K）。
在其1924年的论文中，另一个关键创见是提出多参数函数可被单参数函数替代的思想。这一被后人称为”柯里化”的技术（以进一步发展该思想的哈斯凯尔·柯里命名），成为函数式编程和λ演算的基石。
舍恩芬克尔已知的著作仅有两篇：1924年关于组合子逻辑的论文，以及1928年与保罗·伯奈斯合著关于判定问题特例的论文。
离开哥廷根后，舍恩芬克尔返回莫斯科。据记载，他至迟在1927年已受精神疾病困扰，晚年生活困顿，约于1942年在莫斯科逝世。其手稿在战争期间被邻居焚毁取暖，令人扼腕。尽管学术活跃期短暂，但摩西·舍恩芬克尔创立的组合子逻辑为抽象计算理论奠定了基石，对数学逻辑和函数式编程的发展产生了深远影响。