3 ms·
The lambda calculus and Turing machines are both adequate for Church/Turing computability. However, neither are adequate for all digital computation.
by ProfHewitt 7y ago
The lambda calculus and Turing machines are both adequate for Church/Turing computability. However, neither are adequate for all digital computation.