Title: The theory of mathematical machines