Hacker News new | ask | show | jobs
by nine_k 2552 days ago
AFAIR first-order logic is not Turing-complete.