The formal sciences discover the philosophers' stone

The formal sciences - mathematical as opposed to natural sciences, such as operations research, statistics, theoretical computer science, systems engineering - appear to have achieved mathematically provable knowledge directly about the real world. It is argued that this appearance is correct. An updated version of this paper appeared in the author's book, An Aristotelian Realist Philosophy of Mathematics (2014