• Member for 5 years, 6 months
  • Last seen more than a month ago
  • MDT
Why is writing down mathematical proofs more fault-proof than writing computer code?
20 votes

What is so different about writing faultless mathematical proofs and writing faultless computer code that makes it so that the former is so much more tractable than the latter? I believe that the ...

View answer