Does anyone know an English reference for the original proof of Hilbert's syzygy theorem? The three proofs that I know use either:


* the theory of projective dimension and change of rings (plus a step to go from projective to free resolutions)
* the symmetry of the Tor functors
* Groebner bases


None of these tools would have been available to Hilbert, and I guess his original proof was much more direct. But, unfortunately, the original reference is in German. Is there an English proof somewhere?



Original proof of Hilbert's syzygy theorem
See [Theory of Algebraic Invariants](https://books.google.de/books?hl=de&lr=&id=xCneO62aHiIC&oi=fnd&pg=PR7&dq=Hilbert:+Ueber+die+Theorie+der+algebraischen+Formen+englisch&ots=FlulibiSC-&sig=FsB1P8lQZJKadWwt4l2HkZqldg4#v=onepage&q&f=false)


