Paul Graham's review of Hilbert