|
|
|
|
|
|
by eru
5798 days ago
|
|
|
Indeed. But, fortunately, this is seldom a problem in math. I mean, often people discover problems in proofs --- but if the result was beautiful enough, they are usually able to repair the proofs. It's like debugging. (And I mean it, thanks to the Curry-Howard isomorphism.) |
|
|