 A few months before Turing, Church arrived at the same negative result concerning the decidability of the functional calculus. They discovered this result quite independently of one another. Church employed the concept of lambda-definability (λ-definability) where Turing used computability by an L.C.M.