People say that Hilbert's basis theorem was once proven using pages of explicit computation with polynomials, but now everyone learns Hilbert's beautiful, if non-constructive, proof instead. Regrettably I have no idea what the "old proof" looks like.
Qiaochu Yuan
- 118.2k
- 40
- 447
- 741