Stephen G. Simpson | |
|---|---|
&sq=Envato&lang=en&file=File:Stephen_Simpson_(mathematician).jpg) Steve Simpson at Oberwolfach, 2008 | |
| Alma mater | MIT |
| Known for | Reverse mathematics |
| Scientific career | |
| Fields | Mathematics |
| Institutions | Pennsylvania State University Vanderbilt University |
| Thesis | Admissible Ordinals and Recursion Theory |
| Doctoral advisor | Gerald Sacks |
| Doctoral students | |
Stephen George Simpson (born September 8, 1945) is an American mathematician whose research concerns the foundations of mathematics, including work in mathematical logic, recursion theory, and Ramsey theory. He is known for his extensive development of the field of reverse mathematics founded by Harvey Friedman, in which the goal is to determine which axioms are needed to prove certain mathematical theorems.[1] He has also argued for the benefits of finitistic mathematical systems, such as primitive recursive arithmetic, which do not include actual infinity.[2]
A conference in honor of Simpson's 70th birthday was organized in May 2016.[3]
- ^ Elwes, Richard (2013), Math in 100 key breakthroughs (PDF), Quercus, New York, p. 397, ISBN 978-1-62365-054-4, MR 3222699.
- ^ Wolchover, Natalie (December 6, 2013), "Dispute over infinity divides mathematicians" (PDF), Scientific American.
- ^ The Foundational Impact of Recursion Theory: In honor of Steve Simpson's 70th birthday, May 22, 2016, retrieved 2016-05-06.