A long-term scholarly project exploring the ways in which mathematics, science, and engineering interact in theory and in practice. Of particular interest are the disciplines of computer science and software engineering. The thesis of the work is that the former is not a science at all, and that makes the latter a very peculiar kind of engineering.