Goodstein, Ruben

Reuben Louis Goodstein ( eng.  Reuben Louis Goodstein , 1912 . december 15. [1] , London – 1985 . március 8. [1] , Leicester [1] ) angol matematikus . Komolyan érdeklődött a filozófia iránt, matematikát tanított [3] .

Oktatás

Goodstein a londoni St. Paul's Schoolban tanult. Aztán belépett a Magdalen College -ba , Cambridge-be, ahol mesterfokozatot kapott. A Readingi Egyetemen dolgozott , de tudományos pályafutása nagy részét a Leicesteri Egyetemen töltötte . 1946- ban szerzett PhD fokozatot a Londoni Egyetemen [4] , miközben Readingben szolgált. Ludwig Wittgensteinnél is tanult [5] [6] .

Tudományos tevékenység

Goodstein számos művet publikált a finitizmusról és az elemzés finitista nézőpontból való rekonstrukciójáról, mint például a Konstruktív formalizmus – esszék a matematika alapjairól. Goodstein tétele volt az egyik első példa olyan tételekre, amelyek a Peano aritmetikában bizonyíthatatlannak bizonyultak , de erősebb logikai rendszerekben , például a másodrendű logikában bizonyíthatónak bizonyultak . Bevezette az Ackermann-függvény egy változatát, amely hiperműveletek sorozataként ismert ( tetració , pentáció , hexáció stb.).

A matematikai logika (Goodstein volt e tárgy első professzora az Egyesült Királyságban), a matematikai elemzés és a matematikafilozófia tanulmányozása mellett a matematika tanítása is érdekelte. 1956 és 1962 között a matematikai oktatással foglalkozó folyóirat, a The Mathematical Gazette szerkesztője volt . 1962-ben meghívott előadó volt a Nemzetközi Matematikus Kongresszuson (a rekurzív rácsról szóló jelentéssel) Stockholmban . Doktoranduszai között van Martin Loeb és Alan Bundy [7] .

Publikációk

• A matematika alapvető fogalmai, Pergamon Press, 1962, 2. kiadás. 1979
• Esszék a matematika filozófiájából, Leicester University Press, 1965
• Rekurzív elemzés, North Holland 1961, Dover 2010
• Matematikai logika, Leicester University Press, 1957  [ 8] és előszó. Yanovskoy S.A. - M. : Külföldi irodalom kiadója, 1961. - (A "Matematika" gyűjtemény könyvtára).
• A matematikai logika fejlesztése, London, Logos Press 1971
• Összetett függvények, McGraw Hill 1965
• Boole-algebra, Pergamon Press 1963, Dover 2007
• Rekurzív számelmélet – a rekurzív aritmetika fejlesztése logikamentes egyenletszámításban, North Holland 1957
• Konstruktív formalizmus – esszék a matematika alapjairól, Leicester University College, 1951
• EJF Primrose-val: Axiomatikus projektív geometria, Leicester University College, 1953

Jegyzetek

1. ↑ 1 2 3 4 5 6 7 8 MacTutor Matematikatörténet Archívum
2. ↑ 1 2 https://books.google.cat/books?id=aqOvAwAAQBAJ – 336. o.
3. ↑ John J. O'Connor és Edmund F. Robertson . Reuben Goodstein  egy  életrajz a MacTutor Archívumban .
4. ↑ Goodstein RL függvényelmélet axiómamentes egyenletszámításban  : [ eng. ] // Proceedings of the London Mathematical Society. - 1945. - 1. évf. s2-48, sz. 1. - P. 401-434. - doi : 10.1112/plms/s2-48.1.401 .
5. ↑ Venturinha N. Wittgenstein filozófiai vizsgálódásainak szövegalkotása . - Routledge, 2013. - P. 39. - 226 p. — ISBN 9781138209626 .
6. ↑ Goodstein R. L. Mathematical Systems  : [ eng. ] // Mind. - 1939. - 1. évf. XLVIII, sz. 189 (január). - P. 58. - doi : 10.1093/mind/XLVIII.189.58 .
7. ↑ Reuben Louis  Goodstein . Matematika Genealógiai Projekt . Észak-Dakota Állami Egyetem, Matematika Tanszék. Letöltve: 2020. június 30. Az eredetiből archiválva : 2020. június 30.
8. ↑ Rogers H. Recenzió: R.L. Goodstein, Matematikai logika  : [ eng. ] // Az Amerikai Matematikai Társaság közleménye. - 1958. - 1. évf. 64, 1. szám - P. 32-35.