Mathematical philosopher Imre Space Exploration Answers