Goodstein, Ruben

Reuben Louis Goodstein ( ing.  Reuben Louis Goodstein , 15 decembrie 1912 [1] , Londra - 8 martie 1985 [1] , Leicester [1] ) a fost un matematician englez . A fost serios interesat de filosofie, a predat matematica [3] .

Educație

Goodstein a studiat la St. Paul's School din Londra. Apoi a intrat în Magdalen College , Cambridge, unde a obținut o diplomă de master. A lucrat la Universitatea din Reading , dar cea mai mare parte a carierei sale academice a fost la Universitatea din Leicester . Și-a luat doctoratul de la Universitatea din Londra în 1946 [4] în timp ce lucra la Reading. A studiat și cu Ludwig Wittgenstein [5] [6] .

Activitate științifică

Goodstein a publicat multe lucrări despre finitism și reconstrucția analizei din punct de vedere finitist, precum Formalismul constructiv - eseuri despre fundamentele matematicii. Teorema lui Goodstein a fost unul dintre primele exemple de teoreme care s-au dovedit nedemonstrabile în aritmetica Peano , dar demonstrabile în sisteme logice mai puternice , cum ar fi logica de ordinul doi ). A introdus o variantă a funcției Ackermann , cunoscută ca o secvență de hiper-operații ( tetrație , pentație , hexationare etc.).

Pe lângă studiul logicii matematice (Goodstein a fost primul profesor la această materie în Marea Britanie), analiza matematică și filosofia matematicii, era interesat de predarea matematicii. Din 1956 până în 1962 a fost redactor la The Mathematical Gazette , o revistă despre educația matematică . În 1962 a fost un vorbitor invitat la Congresul Internațional al Matematicienilor (cu un raport despre rețeaua recursivă) de la Stockholm . Printre studenții săi doctoranzi se numără Martin Loeb și Alan Bundy [7] .

Publicații

• Concepte fundamentale ale matematicii, Pergamon Press, 1962, ed. a II-a. 1979
• Eseuri în filosofia matematicii, Leicester University Press 1965
• Analiza recursiva, Olanda de Nord 1961, Dover 2010
• Logica matematică , Leicester University Press 1957  [ 8] și prefață. Yanovskoy S.A. - M . : Editura de literatură străină, 1961. - (Biblioteca colecției „Matematică”).
• Dezvoltarea logicii matematice, Londra, Logos Press 1971
• Funcții complexe, McGraw Hill 1965
• Algebra booleană, Pergamon Press 1963, Dover 2007
• Teoria numerelor recursive - o dezvoltare a aritmeticii recursive într-un calcul de ecuații fără logică, Olanda de Nord 1957
• Formalism constructiv - eseuri despre fundamentele matematicii, Leicester University College 1951
• cu EJF Primrose: Axiomatic projective geometry, Leicester University College 1953

Note

1. ↑ 1 2 3 4 5 6 7 8 Arhiva MacTutor History of Mathematics
2. ↑ 1 2 https://books.google.cat/books?id=aqOvAwAAQBAJ - p. 336.
3. ↑ John J. O'Connor și Edmund F. Robertson . Reuben Goodstein  este  o biografie din Arhiva MacTutor .
4. ↑ Teoria funcției Goodstein RL într-un calcul de ecuație fără axiome  : [ ing. ] // Proceedings of the London Mathematical Society. - 1945. - Vol. s2-48, nr. 1. - P. 401-434. - doi : 10.1112/plms/s2-48.1.401 .
5. ↑ Venturinha N. The Textual Genesis of Wittgenstein's Philosophical Investigations . - Routledge, 2013. - P. 39. - 226 p. — ISBN 9781138209626 .
6. ↑ Goodstein R. L. Mathematical Systems  : [ ing. ] // Mintea. - 1939. - Vol. XLVIII, nr. 189 (ianuarie). - P. 58. - doi : 10.1093/mind/XLVIII.189.58 .
7. ↑ Reuben Louis  Goodstein . Proiect Genealogie Matematică . Universitatea de Stat Dakota de Nord, Departamentul de Matematică. Preluat la 30 iunie 2020. Arhivat din original la 30 iunie 2020.
8. ↑ Rogers H. Review: R.L. Goodstein, Mathematical logic  : [ ing. ] // Buletinul Societății Americane de Matematică. - 1958. - Vol. 64, nr 1. - P. 32-35.