David Hilbert quotes