David Hilbert, Pete Manarchy