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