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

It can't be a stronger property, the essence of Turing-completeness is that a Turing-complete automaton can simulate any other Turing-complete automaton, including itself.

Whether an automaton, capable of scale-invariant self-simulation, but not exhibiting Turing-completeness, is even possible, is a very interesting question. I don't know the answer.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: