Lambda calculus, conceived by Alonzo Church, fundamentally consists of variables, abstraction (defining functions), and application (applying functions to arguments). It forms the core of functional programming and impacts computational theory by providing a formal system to study computation via function application, predating and influencing the development of Turing machines.