Admittedly, I only skimmed NKS. That said, I don't understand how the approach is different than anything else abusing the incidental fact that something is Tur

Admittedly, I only skimmed NKS. That said, I don't understand how the approach is different than anything else abusing the incidental fact that something is Turing complete to re-prove existing results. The problem with these approaches, like trying to write a neural network in MS Excel, is that it's going to be cumbersome, slow, and provide little advantage over more straightforward calculation methods.