One of the most prominent mathematicians of the twentieth century, Abraham Robinson discovered and developed nonstandard analysis, a rigorous theory of infinitesimals that he used to unite mathematical logic with the larger body of...