| Reuben Goodstein | ||
|---|---|---|
| Información personal | ||
| Nombre de nacimiento | Reuben Louis Goodstein | |
| Nacimiento |
15 de diciembre de 1912 Londres (Reino Unido de Gran Bretaña e Irlanda) | |
| Fallecimiento |
8 de marzo de 1985 (72 años) Leicester (Reino Unido) | |
| Nacionalidad | Británica | |
| Educación | ||
| Educado en |
| |
| Supervisor doctoral | Ludwig Wittgenstein | |
| Información profesional | ||
| Ocupación | Matemático y profesor universitario | |
| Área | Matemática y filosofía | |
| Cargos ocupados | Presidente (1975) | |
| Empleador |
| |
| Estudiantes doctorales | Martin Löb | |
| Obras notables | ||
Reuben Louis Goodstein (15 de diciembre de 1912 - 8 de marzo de 1985) fue un matemático británico interesado en la filosofía y la enseñanza de las matemáticas.
Hijo de Alexander Goodstein, Reuben se formó en la St Paul's School de Londres, donde obtuvo becas y un premio por un ensayo sobre series divergentes. Ingresó en el Magdalene College de Cambridge en 1931 y su especialidad en su carrera de pregrado fue el análisis. Se graduó con honores de primera clase en 1933. Una vez admitido en Cambridge, realizó investigaciones sobre números transfinitos bajo la supervisión de Littlewood. Obtuvo su maestría en el Magdalene College (Cambridge).
Posteriormente, trabajó en la Universidad de Reading, pero finalmente desarrolló la mayor parte de su carrera académica en la Universidad de Leicester. Obtuvo su doctorado en la Universidad de Londres en 1946 mientras aún trabajaba en Reading.
Estudió con Ludwig Wittgenstein, quien seleccionó a Goodstein y a otros alumnos para que tomaran notas de sus clases, cuya recopilación se convirtió posteriormente en The Blue Book.
Publicó numerosos trabajos sobre finitismo y la reconstrucción del análisis desde una perspectiva finitista, por ejemplo, Formalismo constructivo. Ensayos sobre los fundamentos de las matemáticas. El teorema de Goodstein fue uno de los primeros ejemplos de teoremas que resultaron indemostrables según los Axiomas de Peano pero demostrables en sistemas lógicos más fuertes (como la aritmética de segundo orden). También introdujo una variante de la función de Ackermann que ahora se conoce como sucesión de hiperoperaciones, junto con la nomenclatura que se utiliza actualmente para estas operaciones (tetración, pentación, etc.).
Además de lógica matemática (donde ocupó la primera cátedra en el Reino Unido), análisis matemático y filosofía de las matemáticas, Goodstein mostró un gran interés por la enseñanza de las matemáticas. De 1956 a 1962 fue editor de The Mathematical Gazette. En 1962 fue ponente invitado en el Congreso Internacional de Matemáticos (con una ponencia sobre Un retículo recursivo) en Estocolmo. Entre sus estudiantes de doctorado se encuentran Martin Löb y Alan Bundy.