Just thought I would mention it.


I noticed previous that somebody made a reference to Hilbert as the
discoverer of the final theory, when in this source it is found
otherwise.


http://plato.stanford.edu/entries/spacetime-holearg/


"For a long time it was thought that Hilbert had beaten Einstein by 5
days to the final theory. New evidence in the form of the proof pages
of Hilbert's paper now suggests he may not have. More important, it
shows clearly that Hilbert, like Einstein, at least temporarily
believed that the hole argument precluded all generally covariant
theories and that the belief survived at least as far as the proof
pages of his paper. (See Corry, Renn and Stachel 1997.)"

Sol