Hostname: page-component-5c6d5d7d68-lvtdw Total loading time: 0 Render date: 2024-08-07T06:53:06.299Z Has data issue: false hasContentIssue false

R. L. Goodstein and mathematical logic

Published online by Cambridge University Press:  23 January 2015

Graham Hoare*
Affiliation:
3 Russett Hill, Chalfont St Peter SL9 8JY

Extract

Born in London, Reuben Louis Goodstein (1912-1985) completed his secondary education at St Paul's School and in 1931 proceeded to Magdalene College, Cambridge, with a Major Open Scholarship to read mathematics. He graduated in 1933 having taken firsts in Parts I and II of the Mathematical Tripos. From 1933 to 1935 his research on transfinite numbers was supervised by Professor J. E. Littlewood. He took a MSc and left Cambridge in 1935 to take up an appointment as lecturer in pure and applied mathematics at Reading University, a position he held until late 1947. While undertaking a strenuous teaching load at Reading his research interests were developing and for this work he received a PhD from the University of London in 1946, which was supervised by the philosopher Ludwig Wittgenstein.

Type
Articles
Copyright
Copyright © The Mathematical Association 2013

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1. Goodstein, R. L., Recursive number theory, North-Holland, Amsterdam (1957); Russian edition (1970).Google Scholar
2. Goodstein, R. L., Recursive analysis, North-Holland, Amsterdam (1961); Russian edition (1970).Google Scholar
3. Goodstein, R. L., Function theory in an axiom-free equation calculus, Proc. London Math. Soc. (1945) pp. 401434.Google Scholar