Reuben Goodstein

A Professor of Mathematics at the University of Leicester for three decades, R. L. Goodstein (1912–85) made major contributions to the areas of recursive analysis and mathematical logic.