I mean it's fun because you get a pithy statement out of it - but at the heart of this is the human notion of computation of which the two leading models of exp

I mean it's fun because you get a pithy statement out of it - but at the heart of this is the human notion of computation of which the two leading models of expression are the lambda calculus and the Turing machine. They're both equivalent so it should almost be expected that if you go far enough along the horseshoe you end back on the other side. A bit like how Java eventually got lambdas. But when the capitalists come up with communism, it is interesting to observe the implementation they come up with after travelling the road they have come, much like when the communists come up with capitalism...