アロンゾ・チャーチ
ゲッティンゲンに在学中、モーゼス・シェーンフィンケルが組合せ論理を導入した1920年の講義の記録を読んだのは、幸運な出来事であった。これに触発されて、組合せ論理をテーマにして博士論文を書き上げた。残りの研究歴をこの分野に費やし、組合せ論理の開拓者、最大の貢献者になった。組合せ論理は、ある種の関数型プログラミング言語の基盤になっている。組合せ論理の力と範囲は、アロンゾ・チャーチのラムダ計算のそれときわめて似通っているが、近年は後者の形式主義の方が優勢である。