|
|
|
|
|
|
by plafl
2123 days ago
|
|
|
I don't share your pessimism. If you think a shorter elegant proof is more desirable, well, I totally agree with you. I think math is more about the proofs than the results. On the other hand I have zero problems trusting a proof checked by a computer. I don't know you but I usually trust much more computers with tedious computations than myself. |
|
|