3 ms·
Mathematics is very good at maintaining the impression that it is universal and superior, but that's pretty questionable once you start looking at how it actual
by tpetricek 9y ago
Mathematics is very good at maintaining the impression that it is universal and superior, but that's pretty questionable once you start looking at how it actually works. For two nice references, see:
* https://en.wikipedia.org/wiki/Where_Mathematics_Comes_From https://en.wikipedia.org/wiki/Where_Mathematics_Comes_From
* https://en.wikipedia.org/wiki/Proofs_and_Refutations https://en.wikipedia.org/wiki/Proofs_and_Refutations
As for mathematics being superior for underpinning programming languages - that's certainly how some people make it look, but nobody really tries to explain what exactly is the link between mathematical foundations of programming and actual programming. (I did this for my PhD and I'm still not sure how it's supposed to work.) Everyone just hand-wavy assumes it's somehow there. The best account for how this might looks is perhaps this: https://plato.stanford.edu/entries/computer-science/ https://plato.stanford.edu/entries/computer-science/