HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by crypto5 | Hacker News Reader
Parent
Full thread
crypto5
·
> over systems
What kind of systems?
View on HN
eli_gottlieb
·
All
formal systems capable of describing Turing-complete computation. All of them.
Reply on news.ycombinator.com