| ▲ | measurablefunc 3 hours ago | |
Peter Naur wrote an essay about exactly that https://www.sciencedirect.com/science/article/abs/pii/016560... | ||
| ▲ | lioeters 3 hours ago | parent [-] | |
Indeed, both Thurston's quote about mathematics, and Naur's programming as theory building, are classics that are relevant now more than ever. A download link for the latter: https://gwern.net/doc/cs/algorithm/1985-naur.pdf (PDF) | ||