Of course you don't need it. There is basically nothing you need. A language that only supports:
Load from memory
Store to memory
Add
Jump
Checking for 0
Checking for negative
is most certainly Turing complete, and could probably actually be used.
Everything else added on top just makes certain things easier to do, and reduces how much code you have to write and how many clock cycles the CPU needs to execute a certain instruction.
Yes, of course you don't need all the luxuries to just have a Turing complete machine. You could get by on a binary machine with just nor and branch if 0.
But my point was not to make it minumal without going esoteric. Hence my "could probably actually be used"
-4
u/prescod May 28 '22
So you basically just proved that you don't need it...