Explore the pivotal role of Alonzo Church's lambda calculus in shaping artificial intelligence and computational theory.