3 ms·
Peter Naur wrote an essay about exactly that https://www.sciencedirect.com/science/article/abs/pii/0165607485900328 https://www.sciencedirect.com/science/articl
by measurablefunc 3mo ago
Peter Naur wrote an essay about exactly that https://www.sciencedirect.com/science/article/abs/pii/0165607485900328 https://www.sciencedirect.com/science/article/abs/pii/016560...
- lioeters 3mo agoIndeed, 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 https://gwern.net/doc/cs/algorithm/1985-naur.pdf (PDF)