Limits of Computability in Lambda Calculus