| Rubén Goodstein | |
|---|---|
| Nombrar al nacer | inglés Rubén Louis Goodstein |
| Fecha de nacimiento | 15 de diciembre de 1912 [1] |
| Lugar de nacimiento | |
| Fecha de muerte | 8 de marzo de 1985 [1] (72 años) |
| Un lugar de muerte | |
| País | |
| Lugar de trabajo | |
| alma mater | |
| consejero científico | Luis Wittgenstein |
Reuben Louis Goodstein ( Ing. Reuben Louis Goodstein , 15 de diciembre de 1912 [1] , Londres - 8 de marzo de 1985 [1] , Leicester [1] ) fue un matemático inglés . Se interesó seriamente por la filosofía, enseñó matemáticas [3] .
Goodstein estudió en St. Paul's School en Londres. Luego ingresó al Magdalen College , Cambridge, donde obtuvo una maestría. Trabajó en la Universidad de Reading , pero la mayor parte de su carrera académica ha sido en la Universidad de Leicester . Recibió su doctorado de la Universidad de Londres en 1946 [4] mientras servía en Reading. También estudió con Ludwig Wittgenstein [5] [6] .
Goodstein ha publicado muchos trabajos sobre el finitismo y la reconstrucción del análisis desde un punto de vista finitista, como el 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 en la aritmética de Peano , pero demostrables en sistemas lógicos más fuertes , como la lógica de segundo orden ). Introdujo una variante de la función de Ackermann , conocida como secuencia de hiperoperaciones ( tetración , pentación , hexación, etc.).
Además de estudiar lógica matemática (Goodstein fue el primer profesor de esta materia en el Reino Unido), análisis matemático y filosofía de las matemáticas, estaba interesado en la enseñanza de las matemáticas. De 1956 a 1962 fue editor de The Mathematical Gazette , una revista sobre educación matemática . En 1962 fue orador invitado en el Congreso Internacional de Matemáticos (con un informe sobre la red recursiva) en Estocolmo . Entre sus estudiantes de doctorado se encuentran Martin Loeb y Alan Bundy [7] .