Babbage had designed the Analytical Engine with no real prospect of seeing it constructed in his lifetime. Space travel enthusiasts had been designing interstellar craft, down to every last nut and bolt, since the nineteen sixties. Terraforming advocates were constantly churning out comprehensive feasibility studies for schemes unlikely to be attempted for a hundred years or more. Why? As aids to thought experiments. As sketches of proofs.
