The description of "project manager mathematicians" reminded me of "A letter to my old friend Jonathan" [1] and the followup [2] by Edsger Dijkstra from 1975. I

The description of "project manager mathematicians" reminded me of "A letter to my old friend Jonathan" [1] and the followup [2] by Edsger Dijkstra from 1975. It was written as satire, basically criticizing the way that software was produced by showing how ridiculous it would be to produce mathematics the same way. But in some ways it was prescient. Of course, the main point of these documents is to critique intellectual property (particularly the absurdity of applying it to mathematical truth) but fortunately that aspect is not a significant concern of this push toward mechanization. [1]: https://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD475.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/E... [2]: https://www.cs.utexas.edu/users/EWD/transcriptions/EWD05xx/EWD539.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD05xx/E...