It would be impossible, says Hilbert, to write down the names of every star in the known universe, even if you had access to every storage medium on the planet.