@modulux Oh, btw: Turing's Machines are this way, in part, because they genuinely used to try and go with the notion of information flows in mathematics being like frictionless spherical cows in vacuum. For some things, it's a great simplifications; for others, well, it didn't work out, and we ended up having Complexity Theory.