| Reuben Goodstein | |
|---|---|
| Jméno při narození | Angličtina Reuben Louis Goodstein |
| Datum narození | 15. prosince 1912 [1] |
| Místo narození | |
| Datum úmrtí | 8. března 1985 [1] (ve věku 72 let) |
| Místo smrti | |
| Země | |
| Místo výkonu práce | |
| Alma mater |
|
| vědecký poradce | Ludwig Wittgenstein |
Reuben Louis Goodstein ( Eng. Reuben Louis Goodstein , 15. prosince 1912 [1] , Londýn – 8. března 1985 [1] , Leicester [1] ) byl anglický matematik . Vážně se zajímal o filozofii, učil matematiku [3] .
Goodstein studoval na St. Paul's School v Londýně. Poté nastoupil na Magdalen College v Cambridge, kde získal magisterský titul. Působil na univerzitě v Readingu , ale většinu své akademické kariéry strávil na univerzitě v Leicesteru . Získal doktorát z University of London v roce 1946 [4] , když sloužil v Readingu. Studoval také u Ludwiga Wittgensteina [5] [6] .
Goodstein publikoval mnoho prací o finitismu a rekonstrukci analýzy z finitistického hlediska, jako je Konstruktivní formalismus - eseje o základech matematiky. Goodsteinův teorém byl jedním z prvních příkladů teorémů, které se ukázaly jako neprokazatelné v Peanově aritmetice , ale prokazatelné v silnějších logických systémech , jako je logika druhého řádu ). Zavedena varianta Ackermannovy funkce , známá jako sekvence hyperoperací ( tetrace , pentace , hexationace atd.).
Kromě studia matematické logiky (Goodstein byl prvním profesorem tohoto předmětu ve Velké Británii), matematické analýzy a filozofie matematiky se zajímal o výuku matematiky. Od roku 1956 do roku 1962 byl redaktorem The Mathematical Gazette , časopisu o matematickém vzdělávání . V roce 1962 byl pozvaným řečníkem na Mezinárodním kongresu matematiků (se zprávou o rekurzivní mřížce) ve Stockholmu . Mezi jeho doktorandy patří Martin Loeb a Alan Bundy [7] .