Deleted Comment
Deleted Comment
Deleted Comment
Now, of course the symbols of math are invented. But math is the study of mathematical _objects_, and it’s very unclear if those are invented or discovered.
For example, the Curry-Howard isomorphism shows that math proofs and computer programs are the same mathematical object. Does this mean that they are a part of nature, and we discovered them because we invented a sufficiently powerful mathematical system? Or are they simply properties of the invented system?
We do not (and most likely can not) know the answer to that question. If someone is extremely convicted when offering an answer to it, consider me completely suspicious.
We use math based on the status of a sea of transistors to store it in other atoms with forces we're slowly discovering how to communicate about. It's all layers of finding new ways to describe something that was already there, spinning and bumping photons long before any of us had photon detectors in our heads or a chemical machine capable of deciding to call one pattern A and all the ways to translate it into sound waves.
One pattern is called "solid state drive," and we seem to have some say in what that pattern does from our frame of reference. Maybe it was always a solid state drive and we're the language the universe uses to describe its smaller parts.
I promise I'm not high, and probably not a Boltzmann brain. Though I'm not sure about the latter.
I listened to a few episodes, but don't find that his guests surprise me enough to sit through it.
The other thing Donald Knuth is famous for is getting so fed up with typesetting for his books, he created a document format to help him keep his sanity. And then went way way down that rabbit hole instead of finishing his book series. One might argue that's not sanity-preserving.