That does not contradict. By the way, lambda calculus and post's correspondence ... | Hacker News

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

eru on Dec 17, 2008 | parent | context | favorite | on: If programming languages were religions

That does not contradict. By the way, lambda calculus and post's correspondence system underlie..

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact