3 ms·

“Minimum number of constructs you need to have complete control over your hardware” is a bit of a slippery slope when it’s known that one-instruction computers

by qubex 4y ago

“Minimum number of constructs you need to have complete control over your hardware” is a bit of a slippery slope when it’s known that one-instruction computers are Turing Complete (“subtract and branch if negative” being one I recall). There’s plenty of mind-bending stuff on esolangs.org

sph 4y ago
Fair enough, but Lisp needs a little more than subleq & co. to do something useful :)
- qubex 4y ago
  Turing-Church Thesis disagrees.
  - mschaef 4y ago
    You're right of course, but picking the specific point on the slippery slope you mentioned earlier is why this is an interesting engineering problem (and not a math/logic problem).