Your points reminded me of this: A naturalist account of the limited, and hence reasonable, effectiveness of mathematics in physics Lee Smolin https://arxiv.

Your points reminded me of this: A naturalist account of the limited, and hence reasonable, effectiveness of mathematics in physics Lee Smolin https://arxiv.org/pdf/1506.03733 https://arxiv.org/pdf/1506.03733 Also the book on which the article is based "The Singular Universe and the Reality of Time" is a physics book but I thought it has huge relevance to programming live systems (as opposed to e.g. compilers). The big difference between what we have to do when programming rather than when we are doing mathematics is dealing with time. (But that's what makes it so interesting - and frustrating)