A Space Odyssey and Gattaca are among the best examples of 20th-century hard sci-fi, grounding their plots in logic and plausibility.