Re:Lisp is not based on the Lambda Calculus
by ProfHewitt on Wednesday August 14, 2019 @10:47PM
(#20702171)
The lambda calculus and Turing machines are both adequate for Church/Turing computability. However, neither are adequate for all digital computation.
[ Parent
| on HN ]
There are no comments on this comment yet.