all problems can be computed with only 6 primitives
a Turing machine can simulate any other Turing machine
a Turing-complete language can write anything computable like any other language
扫码留言