Boolean algebra, 1963 (23-10-17)

Matemático inglés con un gran interés en la filosofía y la enseñanza de las matemáticas. Goodstein fue educado en St Paul's School en Londres. Recibió su maestría de 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. Publicó muchas obras 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 ejemplos más antiguos de teoremas que se encontró que no se podían demostrar 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 hiperoperación , junto con la convención de nomenclatura ahora utilizada para estas operaciones ( tetration , pentation , hexation , 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 la Matemática Gaceta . En 1962 fue orador invitado en el Congreso Internacional de Matemáticos (con una dirección en un enrejado recursivo ) en Estocolmo . Entre sus estudiantes de doctorado se encuentran Martin Löb y Alan Bundy.