[ChrisClark]

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]

What are mathematical proofs but mere 'thoughts'?

(I'm only being half rhetorical. I've been thinking about this deeply lately.)

[hibbelig]

The 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.