アロンゾ・チャーチ
This formal definition was given by Alonzo Church.