Reuben Louis Goodstein (15 de diciembre de 1912 - 8 de marzo de 1985) fue un matemático inglés con un gran interés en la filosofía y la enseñanza de las matemáticas . [3]
Goodstein se educó en la St Paul's School de Londres. Recibió su maestría en Magdalene College, 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 aún trabajaba en Reading.
Goodstein también estudió con Ludwig Wittgenstein . [1] [2]
Publicó numerosos 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 no se demostraron en la aritmética de Peano, pero sí 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 secuencia de hiperoperación , junto con la convención de nomenclatura que ahora se utiliza 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 en el Reino Unido), el análisis matemático y la filosofía de las matemáticas , Goodstein estaba muy interesado en la enseñanza de las matemáticas. De 1956 a 1962 fue editor de The Mathematical Gazette . En 1962 fue orador invitado en el Congreso Internacional de Matemáticos (con un discurso sobre Un entramado recursivo ) en Estocolmo . Entre sus estudiantes de doctorado se encuentran Martin Löb y Alan Bundy . [5]