I agree with @sarahmei that, for many cases, programming isn't maths - other skills are often more importanthttp://www.sarahmei.com/blog/2014/07/15/programming-is-not-math/ …
-
@dibblego I'm with you. There is math, somewhere deep down there under the abstractions. But you don't need to know math to use it well.
@sarahmei *All* programming (on a UTM) is exactly the act of constructing a proposition then proving it under intuionistic logic.
