Reuben Goodstein - Reuben Goodstein

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 .

Educación

Goodstein se educó en St Paul's School en 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 mientras aún trabajaba en Reading.

Goodstein también estudió con Ludwig Wittgenstein .

Investigar

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 pueden demostrar en la aritmética de Peano, pero que se pueden demostrar 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 hiperoperación , junto con la convención de nomenclatura que ahora se usa para estas operaciones ( tetración , pentación , hexadecuació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 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 una celosía recursiva ) en Estocolmo . Entre sus estudiantes de doctorado se encuentran Martin Löb y Alan Bundy .

Publicaciones

• Conceptos fundamentales de las matemáticas, Pergamon Press, 1962, 2ª ed. 1979
• Ensayos de filosofía de las matemáticas, Leicester University Press 1965
• Análisis recursivo, Holanda Septentrional 1961, Dover 2010
• Lógica matemática, Leicester University Press 1957
• Desarrollo de la lógica matemática, Londres, Logos Press 1971
• Funciones complejas, McGraw Hill 1965
• Álgebra de Boole, Pergamon Press 1963, Dover 2007
• Teoría de números recursivos: un desarrollo de la aritmética recursiva en un cálculo de ecuaciones sin lógica, Holanda del Norte 1957
• Formalismo constructivo: ensayos sobre los fundamentos de las matemáticas, Leicester University College 1951
• con EJF Primrose: geometría proyectiva axiomática, Leicester University College 1953

Referencias