Formalism in mathematics is such a recent idea in human history, the idea software requires proof is nothing but a fantastical gestalt. No one thinks that. The

Formalism in mathematics is such a recent idea in human history, the idea software requires proof is nothing but a fantastical gestalt. No one thinks that. The author of this paper uses it as an excuse to discuss banal aspects of software engineering after saying in their own abstract that this is no different than any other area of human cognition. If you enjoy this type of idea, read The Structure of Scientific Revolution for a more interesting discussion.