アロンゾ・チャーチ
1930年代に「λ式」と呼ばれる新たな種類の数式が、アロンゾ・チャーチおよびスティーヴン・クレイニにより、函数とその評価を定式化するために導入された。λ式はλ計算—数理論理学およびにおいて用いられる形式体系—の基礎を成している。