Reuben Goodstein
{{Short description|English mathematician}}
{{Use dmy dates|date=April 2022}}
{{Infobox scientist
| name = Reuben Goodstein
| image =
| image_size =
| alt =
| caption =
| birth_date = {{Birth date|df=y|1912|12|15}}
| birth_place = London, England
| death_date = {{Death date and age|df=y|1985|3|8|1912|12|15}}
| death_place = Leicester, England
| residence =
| citizenship =
| nationality =
| fields =
| workplaces = University of Leicester
University of Cambridge
| alma_mater = Magdalene College, Cambridge (MA)
Birkbeck, University of London (PhD)
| thesis_title = An axiom-free equation calculus
| thesis_url =
| thesis_year = 1946
| doctoral_advisor =
| academic_advisors = Ludwig WittgensteinNuno Venturinha, The Textual Genesis of Wittgenstein’s Philosophical Investigations, Routledge, 2013, p. 39.In {{Cite journal | last1 = Goodstein | first1 = R. L. | title = Mathematical Systems | doi = 10.1093/mind/XLVIII.189.58 | journal = Mind | pages = 58–73 | year = 1939 | volume = 48 | issue = 189 }}, at p. 58, Goodstein refers to Wittgenstein as his former teacher.
| doctoral_students = Alan Bundy
S. Barry Cooper
Martin Löb
| notable_students =
| known_for = Goodstein's theorem
Primitive recursive arithmetic
| influences =
| influenced =
| awards =
| signature =
| signature_alt =
| website =
| footnotes =
| spouse =
| children =
}}
Reuben Louis Goodstein (15 December 1912 – 8 March 1985) was an English mathematician with an interest in the philosophy and teaching of mathematics.{{MacTutor Biography|id=Goodstein}}
Education
Goodstein was educated at St Paul's School in London. He received his Master's degree from Magdalene College, Cambridge. After this, he worked at the University of Reading but ultimately spent most of his academic career at the University of Leicester. He earned his PhD from the University of London in 1946{{Cite journal | last1 = Goodstein | first1 = R. L. | title = Function Theory in an Axiom-Free Equation Calculus | volume=s2-48|doi = 10.1112/plms/s2-48.1.401 | journal = Proceedings of the London Mathematical Society | pages = 401–434 | year = 1945 }} while still working in Reading.
Goodstein also studied under Ludwig Wittgenstein.
Research
He published many works on finitism and the reconstruction of analysis from a finitistic viewpoint, for example "Constructive Formalism. Essays on the foundations of mathematics." Goodstein's theorem was among the earliest examples of theorems found to be unprovable in Peano arithmetic but provable in stronger logical systems (such as second-order arithmetic). He also introduced a variant of the Ackermann function that is now known as the hyperoperation sequence, together with the naming convention now used for these operations (tetration, pentation, hexation, etc.).
Besides mathematical logic (in which he held the first professorial chair in the U.K.), mathematical analysis, and the philosophy of mathematics, Goodstein was keenly interested in the teaching of mathematics. From 1956 to 1962 he was editor of The Mathematical Gazette. In 1962 he was an invited speaker at the International Congress of Mathematicians (with an address on A recursive lattice) in Stockholm. Among his doctoral students are Martin Löb and Alan Bundy.{{MathGenealogy|id=75260}}
Publications
- Fundamental concepts of mathematics, Pergamon Press, 1962, 2nd edn. 1979
- Essays in the philosophy of mathematics, Leicester University Press 1965
- Recursive Analysis, North Holland 1961, Dover 2010
- Mathematical Logic, Leicester University Press 1957{{cite journal|author=Rogers, Hartley|authorlink = Hartley Rogers Jr.|title=Review: R. L. Goodstein, Mathematical logic|journal=Bull. Amer. Math. Soc.|year=1958|volume=64|issue=1|pages=32–35|url=http://projecteuclid.org/euclid.bams/1183522234|doi=10.1090/s0002-9904-1958-10141-x|doi-access=free}}
- 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
- with E. J. F. Primrose: Axiomatic projective geometry, Leicester University College 1953
References
{{reflist|2}}
{{Authority control}}
{{DEFAULTSORT:Goodstein, Reuben Louis}}
Category:English mathematicians
Category:People educated at St Paul's School, London
Category:Alumni of the University of London
Category:Academics of the University of Reading
Category:Academics of the University of Leicester