Stav dette: The mathematics of space axploration