Alonzo Church
This formal definition was given by Alonzo Church.