I have noticed that I find it far easier to write down mathematical proofs without making any mistakes, than to write down a computer program without bugs.
It seems that this is something more widespread than just my experience. Most people make software bugs all the time in their programming, a...
@JosephWeissman it's possibly related to syntax. Many new programmers find weakly typed languages to be easier. Programming language syntax is very strict compared to natural language. So code must be mathematically sound as well as syntactically sound.
The Symposium
The Symposium