News for hackers. Stuff that matters.
Re:Turing Oversold? by AnimalMuppet on Wednesday September 15, 2021 @05:57PM (#28544901)
> Similarly, there's no clear way how to mechanize lambda calculus.

Is Lisp such a mechanization?

Re:Turing Oversold? by jecel on Wednesday September 15, 2021 @09:40PM (#28546917)
Any computer (with enough resources) can simulate any other computer. So if you have Lisp by running such a simulation (interpreter) on your PC it is not the same thing as a direct implementation of lambda calculus.

The famous Lisp Machines of the 1980s were reasonably traditional Von Neumann computers with nice features like tagged memory and optimized stacks.

Much closer to mechanizing lambda calculus, but still a bit Von Neumannish, is the SECD virtual machine for Lisp and friends:

https://en.wikipedia.org/wiki/SECD_machine

Re:Turing Oversold? by bo1024 on Thursday September 16, 2021 @02:50PM (#28555635)
I'd say no, not on its own. It's not clear how to implement a Lisp program in hardware. You need some steps which today involve a von Neumann architecture and an imperative assembly language that implement Lisp constructs...