Hacker News new | ask | show | jobs
by eli_gottlieb 3361 days ago
All formal systems capable of describing Turing-complete computation. All of them.