Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I think we would be remiss to mention that fundamentally the Lambda Calculus and Turing Machines are mathematically equivalent, as proved in the Church-Turing Thesis (http://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis ).

And while it is true that there are functional features that are unsupported in the basic syntax of imperative languages, you can still do equivalent computation, and after all "Whoever does not understand LISP is doomed to reinvent it" :P



54. Beware of the Turing tar-pit in which everything is possible but nothing of interest is easy.

—Alan Perlis, Epigrams on Programming


ha, that's great.

I have to say learning about Lisp and the Lambda Calculus renewed my interest in computation and programming back in university. I really find Turing machines quite dull.

Perhaps i did not adequately disclaim my statements though. Having to hack a LISP into your imperative language is neither easy, maintainable or recommended. Just cause you can do it, doesn't mean you should ;)

The rest of the epigrams:

http://www-pu.informatik.uni-tuebingen.de/users/klaeren/epig...




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: