Rubena Goodsteina

Rubena Goodsteina
Urodzić się	( 15.12.1912 ) 15 grudnia 1912 Londyn
Zmarł	08 marca 1985 ( w wieku 72) ( 08.03.1985 ) Leicester
Alma Mater	Magdalene College, Cambridge Birkbeck, University of London
Znany z	Twierdzenie Goodsteina Prymitywna arytmetyka rekurencyjna
Kariera naukowa
Instytucje	Uniwersytet Leicester Uniwersytet Cambridge
Praca dyplomowa	Rachunek równań bez aksjomatów (1946)
Doradcy akademiccy	Ludwika Wittgensteina
Doktoranci	Alan Bundy S. Barry Cooper Martin Löb

Reuben Louis Goodstein (15 grudnia 1912 - 8 marca 1985) był angielskim matematykiem , który interesował się filozofią i nauczaniem matematyki .

Edukacja

Goodstein kształcił się w St Paul's School w Londynie. Uzyskał tytuł magistra w Magdalene College w Cambridge . Następnie pracował na Uniwersytecie w Reading , ale ostatecznie spędził większość swojej kariery akademickiej na Uniwersytecie w Leicester . Doktoryzował się na Uniwersytecie Londyńskim w 1946 roku, wciąż pracując w Reading.

Goodstein studiował również u Ludwiga Wittgensteina .

Badania

Opublikował wiele prac na temat finityzmu i rekonstrukcji analizy z finitystycznego punktu widzenia, np. „Formalizm konstruktywny. Eseje o podstawach matematyki”. Twierdzenie Goodsteina było jednym z najwcześniejszych przykładów twierdzeń, które okazały się nie do udowodnienia w arytmetyce Peano, ale możliwe do udowodnienia w silniejszych systemach logicznych (takich jak arytmetyka drugiego rzędu ). Wprowadził również wariant funkcji Ackermanna , który jest obecnie znany jako sekwencja hiperoperacji , wraz z konwencją nazewnictwa używaną obecnie dla tych operacji ( tetration , pentation , hexation , itp.).

Oprócz logiki matematycznej (w której piastował pierwszą katedrę profesorską w Wielkiej Brytanii), analizy matematycznej i filozofii matematyki , Goodstein żywo interesował się nauczaniem matematyki. Od 1956 do 1962 był redaktorem The Mathematical Gazette . W 1962 był zaproszonym mówcą na Międzynarodowy Kongres Matematyków (z przemówieniem na temat Kraty rekurencyjnej ) w Sztokholmie . Wśród jego doktorantów są Martin Löb i Alan Bundy .

Publikacje

• Podstawowe pojęcia matematyki, Pergamon Press, 1962, wyd. 2. 1979
• Eseje z filozofii matematyki, Leicester University Press 1965
• Analiza rekurencyjna, North Holland 1961, Dover 2010
• Logika matematyczna, Leicester University Press 1957
• Rozwój logiki matematycznej, Londyn, Logos Press 1971
• Funkcje złożone, McGraw Hill 1965
• Algebra Boole'a, Pergamon Press 1963, Dover 2007
• Teoria liczb rekurencyjnych - rozwinięcie arytmetyki rekurencyjnej w rachunku równań bez logiki, North Holland 1957
• Formalizm konstruktywny - eseje o podstawach matematyki, Leicester University College 1951
• z EJF Primrose: aksjomatyczna geometria rzutowa, Leicester University College 1953