Stephen G Simpson

Stephen G. Simpson is a mathematics professor at the Pennsylvania State University. He has lectured and published widely in mathematical logic and the foundations of mathematics. He is the developer of the foundational program known as Reverse Mathematics and the author of Subsystems of Second Order Arithmetic, 2nd Edition.