Reuben Louis Goodstein (15 de diciembre de 1912 - 8 de marzo de 1985) fue un matemático inglés interesado en la filosofía y la enseñanza de las matemáticas . [3]
Goodstein estudió en la St Paul's School de Londres. Recibió su maestría en el Magdalene College de Cambridge . Después de esto, trabajó en la Universidad de Reading, pero finalmente pasó la mayor parte de su carrera académica en la Universidad de Leicester . Obtuvo su doctorado en la Universidad de Londres en 1946 [4] mientras todavía trabajaba en Reading.
Goodstein también estudió con Ludwig Wittgenstein . [1] [2]
Publicó muchos trabajos sobre el finitismo y la reconstrucción del análisis desde un punto de vista 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 se consideraron indemostrables en la aritmética 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 la secuencia de hiperoperaciones , junto con la convención de nomenclatura que ahora se usa para estas operaciones ( tetración , pentación , hexación , etc.).
Además de la lógica matemática (en la que ocupó la primera cátedra de profesor en el Reino Unido), el análisis matemático y la filosofía de las matemáticas , Goodstein estaba profundamente interesado en la enseñanza de las matemáticas. De 1956 a 1962 fue editor de The Mathematical Gazette . En 1962 fue un orador invitado en el Congreso Internacional de Matemáticos (con una conferencia sobre Un entramado recursivo ) en Estocolmo . Entre sus estudiantes de doctorado se encuentran Martin Löb y Alan Bundy . [5]