Hacker News new | ask | show | jobs
by crypto5 3366 days ago
> over systems

What kind of systems?

1 comments

All formal systems capable of describing Turing-complete computation. All of them.