アロンゾ・チャーチ
チャーチの業績は多岐にわたっているが、主なものとしては、
「チャーチ=チューリングのテーゼ」の提唱 [1]
1階述語論理の決定不可能性証明 [2]
ラムダ計算の創案 [4]
が挙げられる。この他にも、公理的集合論、型理論、内包論理に関する業績があり、また数理論理学分野以外では、微分方程式論やラプラス変換に関する仕事もある。