imported>Kompetenter: HC: Entferne Kategorie:Hochschullehrer (Leicester); Ergänze Kategorie:Hochschullehrer (University of Leicester)

2025-07-26T18:36:14Z

HC: Entferne Kategorie:Hochschullehrer (Leicester); Ergänze Kategorie:Hochschullehrer (University of Leicester)

Neue Seite

'''Reuben Louis Goodstein''' (* [[15. Dezember]] [[1912]] in [[London]]; † [[8. März]] [[1985]] in [[Leicester]]) war ein [[Vereinigtes Königreich|britischer]] Mathematiker, der sich insbesondere mit [[Mathematische Logik|mathematischer Logik]] und [[Philosophie der Mathematik|Philosophie]] und [[Grundlagen der Mathematik]] beschäftigte.

== Leben ==
Goodstein ging auf die St. Paul’s School in London, wo er einen Mathematikpreis und ein Stipendium gewann. Ab 1931 studierte er Mathematik an der [[Universität Cambridge]] (Magdalene College), wo er 1933 seinen Abschluss machte (mit einer Spezialisierung in Analysis) und danach unter [[John Edensor Littlewood]] über transfinite [[Kardinalzahl (Mathematik)|Kardinalzahlen]] forschte. 1934/35 war er einer der Studenten, die [[Ludwig Wittgenstein]]s Vorlesungen (Blue Book) ausarbeiten durften. 1935 erhielt er seinen Master-Abschluss und unterrichtete an der [[University of Reading]], an der er insbesondere während des Zweiten Weltkriegs einen erheblichen Teil der Mathematischen Lehre übernahm. 1946 promovierte er an der [[Universität London]] und wurde 1948 Professor am [[University of Leicester|University College]] in Leicester, wo er bis zu seiner Emeritierung 1977 blieb. 1966 bis 1969 war er Vizekanzler der Universität.

Goodstein ist heute vor allem für die [[Goodstein-Folge]] bekannt (1944). Ein zugehöriger Satz lässt sich in der Peano-Arithmetik formulieren, aber nicht in ihr beweisen, wie [[Jeff Paris]] und [[Laurie Kirby]] zeigten. Er beschäftigte sich mit [[Rekursionstheorie|rekursiver]] Arithmetik und [[Finitismus|finitistischer]] Grundlegung der Mathematik und verfeinerte 1954 die Logik-freie Formulierung der von [[Albert Thoralf Skolem|Skolem]] begründeten primitiv-rekursiven Arithmetik (zuerst gezeigt von [[Haskell Curry]] 1941). Neben mathematischer Logik (in der er den ersten Lehrstuhl in Großbritannien hatte) und Philosophie der Mathematik sowie Analysis war er auch sehr an Didaktik der Mathematik interessiert. 1956 bis 1962 war er Herausgeber der Mathematical Gazette.

1962 hielt er einen Vortrag auf dem [[Internationaler Mathematikerkongress|Internationalen Mathematikerkongress]] in [[Stockholm]] (''A recursive lattice'').

Zu seinen Schülern zählt [[Martin Löb]].

== Schriften ==
* ''Fundamental concepts of mathematics'', Pergamon Press, 1962, 2. Auflage 1979
* ''Essays in the philosophy of mathematics'', Leicester University Press 1965
* ''Recursive Analysis'', North Holland 1961, Dover 2010
* ''Mathematical Logic'', Leicester University Press 1957
* ''Development of mathematical logic'', London, Logos Press 1971
* ''Complex functions'', McGraw Hill 1965
* ''Boolean Algebra'', Pergamon Press 1963, Dover 2007
* ''Recursive number theory – a development of recursive arithmetic in a logic-free equation calculus'', North Holland 1957
* ''Constructive formalism – essays on the foundations of mathematics'', Leicester University College 1951
* mit E. J. F. Primrose: ''Axiomatic projective geometry'', Leicester University College 1953

== Weblinks ==
* {{MacTutor|id=Goodstein|title=Reuben Louis Goodstein}}
* {{MathGenealogyProject|id=75260}}
* [https://zbmath.org/authors/goodstein.r-louis Reuben Louis Goodstein] in der Datenbank [[zbMATH]]

{{Normdaten|TYP=p|GND=1102969281|LCCN=n83827845|VIAF=293772464}}

{{SORTIERUNG:Goodstein, Reuben}}
[[Kategorie:Mathematiker (20. Jahrhundert)]]
[[Kategorie:Logiker]]
[[Kategorie:Hochschullehrer (University of Leicester)]]
[[Kategorie:Absolvent der University of Cambridge]]
[[Kategorie:Brite]]
[[Kategorie:Geboren 1912]]
[[Kategorie:Gestorben 1985]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Goodstein, Reuben
|ALTERNATIVNAMEN=Goodstein, Reuben Louis (vollständiger Name)
|KURZBESCHREIBUNG=britischer Mathematiker
|GEBURTSDATUM=15. Dezember 1912
|GEBURTSORT=[[London]]
|STERBEDATUM=8. März 1985
|STERBEORT=[[Leicester]]
}}

Reuben Goodstein - Versionsgeschichte

imported>Kompetenter: HC: Entferne Kategorie:Hochschullehrer (Leicester); Ergänze Kategorie:Hochschullehrer (University of Leicester)