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. He has also argued for the benefits of finitistic mathematical systems, such as primitive recursive arithmetic , which do not include actual infinity .
4-793: Steve or Stephen Simpson may refer to: Steve Simpson (mathematician) (born 1945), American logician Steve Simpson (baseball) (1948–1989), Major League Baseball pitcher Steve Simpson (wrestler) (born 1963), former wrestler in South Africa and the United States Steve Simpson (rugby league) (born 1979), Australian rugby league player Stephen Simpson (born 1984), South African racing driver Stephen Simpson (writer) (1789–1854), American author Stephen Simpson (doctor) (1793–1869), Australian pioneer Stephen Simpson (professor) (born 1957), Australian academic at
8-704: A dissertation entitled Admissible Ordinals and Recursion Theory and supervised by Gerald Sacks . After short-term positions at Yale University , the University of California, Berkeley , and the University of Oxford , Simpson became an assistant professor at the Pennsylvania State University in 1975. At Penn State, he was Raymond N. Shibley professor from 1987 to 1992. In 2016, his wife, computer scientist Padma Raghavan , moved from Penn State to Vanderbilt University to become vice provost for research, and Simpson followed her, becoming
12-531: Is different from Wikidata All article disambiguation pages All disambiguation pages Steve Simpson (mathematician) A conference in honor of Simpson's 70th birthday was organized in May 2016. Simpson graduated in 1966 from Lehigh University with a B.A. (summa cum laude) and M.A. in mathematics. He earned a Ph.D. from the Massachusetts Institute of Technology in 1971, with
16-634: The University of Sydney See also [ edit ] Steven Lewis Simpson , independent film and documentary filmmaker [REDACTED] Topics referred to by the same term This disambiguation page lists articles about people with the same name. If an internal link led you here, you may wish to change the link to point directly to the intended article. Retrieved from " https://en.wikipedia.org/w/index.php?title=Steve_Simpson&oldid=1207860776 " Category : Human name disambiguation pages Hidden categories: Short description
#688311