News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.