The theory of mathematical machines