[ProfHewitt]

The lambda calculus and Turing machines are both adequate for Church/Turing computability. However, neither are adequate for all digital computation.