アロンゾ・チャーチ
Alonzo Church (Mathematician)