|
|
|
|
|
|
by mb7733
459 days ago
|
|
|
> If the shortest proof for some theorem is several thousand pages long and beyond the ability of any biological mind to comprehend, would mathematicians not care about it? Care or not, what are they supposed to do with it? Sure, they can now assume the theorem to be true, but nothing stopped them from doing that before. |
|
|