imported>GT1976: Redundante Kategorie entfernt

2025-03-01T06:44:42Z

Redundante Kategorie entfernt

Neue Seite

[[Datei:Stephen Simpson (mathematician).jpg|mini|]]
'''Stephen George Simpson''' (* [[8. September]] [[1945]]) ist ein US-amerikanischer mathematischer Logiker und Mathematiker.

Simpson studierte 1962 bis 1966 an der [[Lehigh University]], wo er seinen Bachelor- und Master-Abschluss in Mathematik machte. Danach studierte er ab 1966 am [[Massachusetts Institute of Technology]] (und 1969/70 an der [[University of Wisconsin]]). 1971 promovierte er am MIT bei [[Gerald E. Sacks]] (''Admissible ordinals and recursion theory'').<ref>{{MathGenealogyProject|id=22617}}</ref> 1971/72 war er Gibbs-Instructor an der [[Yale University]] und 1972 bis 1974 Lecturer an der [[University of California, Berkeley]] sowie 1974/75 an der [[Universität Oxford]]. 1975 wurde er Assistant Professor, 1977 Associate Professor und 1980 Professor an der [[Pennsylvania State University]]. Er war unter anderem Gastprofessor an der [[Ludwig-Maximilians-Universität München]] (1982/83), der [[Universität Paris]] (1981), der [[University of Chicago]] (1978), der [[Stanford University]] (1987), der [[University of Illinois]] und der [[University of Tennessee]].

Simpson befasst sich neben mathematischer Logik, wo er sich unter anderem mit [[Reverse Mathematik|Reverser Mathematik]], Theorie der Turing-Grade (Degrees of unsolvability) in der [[Rekursionstheorie]], [[Komplexitätstheorie]] beschäftigte, auch mit Kombinatorik und Philosophie der Mathematik, in der er das Konzept [[Potentielle und aktuale Unendlichkeit|Aktualer Unendlichkeit]] zugunsten Potentieller Unendlichkeit ablehnt.<ref>Natalie Wolchover: [https://www.simonsfoundation.org/quanta/20131126-to-settle-infinity-question-a-new-law-of-logic/ ''To settle infinity dispute a new law of logic.''] In: ''Quanta Magazine.'' 2013.</ref> Er schrieb ein Standardwerk über reverse Mathematik (Subsystems of second order logic).<ref>Carl Mummert: Review von ''John Stillwell, Reverse Mathematics.'' In: ''[[Notices of the American Mathematical Society]].'' Band 65, Nr. 9, Oktober 2018, S. 1098–1102, hier S. 1099, ([https://www.ams.org/journals/notices/201809/201809FullIssue.pdf Digitalisat]).</ref>

1980 bis 1982 war er [[Sloan Research Fellow]]. 2007/8 erhielt er den Grove Award for Interdisciplinary Research an der Penn State. Er ist Mitglied der American Mathematical Society und der [[Association for Symbolic Logic]], in deren Rat (Counsil) er 1986 bis 1989 war.

Zu seinen Doktoranden zählt [[John R. Steel]] (offiziell bei John West Addison).

== Schriften ==
* ''Degrees of unsolvability.'' In: [[Jon Barwise]] (Hrsg.) ''Handbook of Mathematical Logic'' (= ''Studies in Logic and the Foundations of Mathematics.'' 90). North Holland, Amsterdam u. a. 1977, ISBN 0-7204-2285-X, S. 631–652.
* ''Subsystems of Second order arithmetic.'' Springer, Berlin u. a. 1999, ISBN 3-540-64882-8 (2nd edition. Cambridge University Press, Cambridge u. a. 2009, ISBN 978-0-521-88439-6).
* als Herausgeber: ''Reverse Mathematics 2001'' (= ''Lecture Notes in Logic.'' 21). A. K. Peters u. a., Wellesley MA u. a. 2005, ISBN 1-56881-263-9.

== Weblinks ==
* [http://www.math.psu.edu/simpson/ Homepage an der Penn State]
* [https://zbmath.org/authors/simpson.stephen-g Stephen G. Simpson] in der Datenbank [[zbMATH]]

==Einzelnachweise==
<references />

{{Normdaten|TYP=p|GND=120428148|LCCN=n/85/298999|VIAF=27136196}}

{{SORTIERUNG:Simpson, Stephen G}}
[[Kategorie:Mathematischer Logiker (20. Jahrhundert)]]
[[Kategorie:Hochschullehrer (Pennsylvania State University)]]
[[Kategorie:Mitglied der American Mathematical Society]]
[[Kategorie:US-Amerikaner]]
[[Kategorie:Geboren 1945]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Simpson, Stephen G.
|ALTERNATIVNAMEN=Simpson, Stephen George (vollständiger Name)
|KURZBESCHREIBUNG=US-amerikanischer mathematischer Logiker und Mathematiker
|GEBURTSDATUM=8. September 1945
|GEBURTSORT=
|STERBEDATUM=
|STERBEORT=
}}

Stephen G. Simpson - Versionsgeschichte

imported>GT1976: Redundante Kategorie entfernt