Not impossible that I misread the article, but isn’t one of the points that the theory can’t be explicitly encoded in the code? Again, perhaps I ought to reread

Not impossible that I misread the article, but isn’t one of the points that the theory can’t be explicitly encoded in the code? Again, perhaps I ought to reread it, and I don’t disagree with the general thrust of your comment.