2 ms·
I really really wish math jargon and symbols could be replaced with code. I feel like I could have done a lot better in math if it had been taught in python.
by abakker 8y ago
I really really wish math jargon and symbols could be replaced with code. I feel like I could have done a lot better in math if it had been taught in python.
- a-nikolaev 8y agoProgramming languages generally capture only some specific logic (or some specific kind of math) in their semantics. Certain concepts like the law of excluded middle (either A or not A must hold), and proofs by contradiction that are common in math, simply don't exist in programming. That's because programming is based on constructive logic / constructive math foundation. Learning the basics of logic can be beneficial for a programmer tho, and the connection with functional programming is especially high.