4 ms·
The messed up thing is that the math notation of computer science is in the same mess. It doesn't even have a name. (There's a talk about it but I can't find
by carapace 7y ago
The messed up thing is that the math notation of computer science is in the same mess. It doesn't even have a name.
(There's a talk about it but I can't find the link right now.)
- carapace 7y agoFound it! "It's Time for a New Old Language" – Guy Steele [video] (youtube.com) https://news.ycombinator.com/item?id=15473199 https://news.ycombinator.com/item?id=15473199 https://www.youtube.com/watch?v=dCuZkaaou0Q https://www.youtube.com/watch?v=dCuZkaaou0Q
- justinmeiners 7y agoThis isn't a mess, this is a good thing. Math is a way of talking about ideas, not a formal system for computers.
- carapace 7y agoSo what's the difference in your view between math and philosophy?
- justinmeiners 7y agoThat's a little complicated as math is intertwined with science. But at the core I only see them as a difference in subject matter. Math is a philosophical study of space, logical structure, quantity, etc. Proofs are just tools for articulating arguments about these subjects. Deduction just tends to work better in math, so the methods are more refined and agreed upon.
- m463 7y agoI took a philosophy course in college to learn symbolic logic