4 ms·
I totally agree. I find that the appeal of programming languages, their strength, fades away in the face of pure mathematics anyway. There's nothing like the fu
by K0SM0S 7y ago
I totally agree. I find that the appeal of programming languages, their strength, fades away in the face of pure mathematics anyway. There's nothing like the full complement of a formal language, symbols, abstractions and all, one that you can write and read just as fluently as English.
As for human languages, being bilingual myself (acquired over 30ish years (am 37), not innate), I can only testify that this is as close to having "two different minds" as it gets— the sheer experience of life is different depending on which language you think it in, you speak it or write it to others.
That's as close as I can get experientially (qualia) to the notion that language is culture, civilization, thus psychological mindset (both individual and collective).
It's a very weird experience of life to have this ability to switch between modes. Doesn't make you any smarter I guess, but certainly opens one's horizons, helps thinking 'out of the box' (i.e. perspective), reach more balanced views perhaps.
I'd like to write a short piece about that someday. Hopefully later if #19 hasn't disposed of me by then.
Note that there is little to no overlap with programming languages or math. You can think these domains in any human language, the translation in symbols/code remains identical, ideally (that's formalism to me, requiring mathematical rigor, not literature skills).
As such, it is interesting and enriching to learn both— several human languages, and math (or at least one programming language). You gain things from each that do not exist in the other subset no matter how deep you look.
- xkapastel 7y ago> I find that the appeal of programming languages, their strength, fades away in the face of pure mathematics anyway. The appeal and strength of a programming language is its ability to be executed, something that pure mathematics does not and cannot ever have.
- martin__ 7y agoYou might want to look into something called Constructivism: https://en.wikipedia.org/wiki/Constructive_proof https://en.wikipedia.org/wiki/Constructive_proof
- imtringued 7y ago>I totally agree. I find that the appeal of programming languages, their strength, fades away in the face of pure mathematics anyway. Then you haven't learned anything. Even pure mathematics is still expressed in arbitrary notation. It's no different than a programming language in that regard.
- Tainnor 7y agoMathematical notation is much more fluid than programming languages. People make up notations on the spot or abuse notation all the time. This is all done in the interest of uncluttering the maths from any unimportant details so you can focus on the important patterns. You can see that if you ever try to do actual maths on a computer, e.g. with a CAS or, worse, an automated theorem prover. Suddenly you have to care about all these technical details and you get bogged down quickly.
- K0SM0S 7y agoThis is exactly it. The terseness of mathematics, the cognitive efficiency of these notations aren't to be debated, I feel. I'd rather ignore ad hominem above ;)