4 ms·
Wow, just... wow. Theoretical computer science is literally more solid and real than any code you could write. It's literally the mathematical foundation of ho
by ChrisClark 3y ago
Wow, just... wow.
Theoretical computer science is literally more solid and real than any code you could write. It's literally the mathematical foundation of how your favorite language works. It is all precise mathematical proofs, not just 'thoughts'.
- hnfong 3y agoWhat are mathematical proofs but mere 'thoughts'? (I'm only being half rhetorical. I've been thinking about this deeply lately.)
- hibbelig 3y agoThe relationship between thoughts and proofs is analogous to the relationship between noise and music. It’s a subset kind of relationship. There is also the social aspect: people have to agree on it. Noise becomes music, and thoughts become proofs, only if several people agree.