|
|
|
|
|
|
by credit_guy
399 days ago
|
|
|
Test-driven development is not about tests. It's about writing code. The tests are there just in order to keep the bugs away. Mathematics is just proof-driven development. For an spectator it might look like mathematics is about writing proofs, but that's not different than seeing a software developer write a lot of tests. The proofs are the best tools against insidious logic bugs that the society of mathematics has come up with in the last few hundred years. Mathematicians would welcome automating all the proofs, just like software engineers are happy for code assistants to take over the task of writing tests. |
|
|