www.wikidata.de-de.nina.az

Stephen G Simpson Stephen George Simpson 8 September 1945 ist ein US amerikanischer mathematischer Logiker und Mathemati

Stephen G. Simpson

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). 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 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 Aktualer Unendlichkeit zugunsten Potentieller Unendlichkeit ablehnt. Er schrieb ein Standardwerk über reverse Mathematik (Subsystems of second order logic).

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 Bearbeiten

  • 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 Bearbeiten

Einzelnachweise Bearbeiten

  1. Stephen G. Simpson im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet
  2. Natalie Wolchover: To settle infinity dispute a new law of logic. In: Quanta Magazine. 2013.
  3. 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, (Digitalisat).
Personendaten
NAME Simpson, Stephen G.
ALTERNATIVNAMEN Simpson, Stephen George (vollständiger Name)
KURZBESCHREIBUNG US-amerikanischer mathematischer Logiker und Mathematiker
GEBURTSDATUM 8. September 1945
wikipedia, wiki, deutsches, deutschland, buch, bücher, bibliothek artikel lesen, herunterladen kostenlos kostenloser herunterladen, MP3, Video, MP4, 3GP, JPG, JPEG, GIF, PNG, Bild, Musik, Lied, Film, Buch, Spiel, Spiele
Veröffentlichungsdatum:
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 1 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 Universitat 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 Universitat Munchen 1982 83 der Universitat 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 Reverser Mathematik Theorie der Turing Grade Degrees of unsolvability in der Rekursionstheorie Komplexitatstheorie beschaftigte auch mit Kombinatorik und Philosophie der Mathematik in der er das Konzept Aktualer Unendlichkeit zugunsten Potentieller Unendlichkeit ablehnt 2 Er schrieb ein Standardwerk uber reverse Mathematik Subsystems of second order logic 3 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 zahlt John R Steel offiziell bei John West Addison Schriften BearbeitenDegrees 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 BearbeitenHomepage an der Penn StateEinzelnachweise Bearbeiten Stephen G Simpson im Mathematics Genealogy Project englisch Vorlage MathGenealogyProject Wartung id verwendet Natalie Wolchover To settle infinity dispute a new law of logic In Quanta Magazine 2013 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 Digitalisat Normdaten Person GND 120428148 lobid OGND AKS LCCN n85298999 VIAF 27136196 Wikipedia Personensuche PersonendatenNAME Simpson Stephen G ALTERNATIVNAMEN Simpson Stephen George vollstandiger Name KURZBESCHREIBUNG US amerikanischer mathematischer Logiker und MathematikerGEBURTSDATUM 8 September 1945 Abgerufen von https de wikipedia org w index php title Stephen G Simpson amp oldid 209974699