|
|
|
|
|
|
by EGreg
2576 days ago
|
|
|
Well, it could have been like Kempe's chains... they finally realized there is a problem, and then it took like 100 years before Appel and Haken made what is probably the first computer-aided proof. And who can say it's really a "proof" if it doesn't explain "why" it's true. |
|
|