He also proposed using nuclear explosions to propel rockets, and he developed several mathematical tools in number theory, set theory, ergodic theory and algebraic topology. Above all, he is known by being a coauthor (with Nicholas Metropolis) of the Monte Carlo algorithm.