Reuben Goodstein

Reuben Goodstein

Reuben Louis Goodstein (* 15. Dezember 1912 in London; † 8. März 1985 in Leicester) war ein britischer Mathematiker, der sich insbesondere mit mathematischer Logik und Philosophie und Grundlagen der Mathematik beschäftigte.

Goodstein ging auf die St. Paul´s School in London, wo er einen Mathematikpreis und ein Stipendium gewann. Ab 1931 studierte er Mathematik an der Universität Cambridge (Magdalene College), wo er 1933 seinen Abschluss machte (mit einer Spezialisierung in Analysis) und danach unter John Edensor Littlewood über transfinite Kardinalzahlen forschte. 1935 erhielt er seinen Master-Abschluss und unterrichtete an der University of Reading, an der er insbesondere während des Zweiten Weltkriegs einen erheblichen Teil der Mathematischen Lehre übernahm. 1946 promovierte er an der Universität London und wurde 1948 Professor am University College in Leicester, wo er bis zu seiner Emeritierung 1977 blieb. 1966 bis 1969 war er Vizekanzler der Universität.

Goodstein ist heute vor allem für die Goodstein-Folge bekannt (1944). Ein zugehöriger Satz lässt sich in der Peano-Arithmetik formulieren, aber nicht in ihr beweisen, wie Jeff Paris und Laurie Kirby zeigten. Er beschäftigte sich mit rekursiver Arithmetik und finitistischer Grundlegung der Mathematik und verfeinerte 1954 die Logik-freie Formulierung der von Skolem begründeten primitiv-rekursiven Arithmetik (zuerst gezeigt von Haskell Curry 1941). Neben mathematischer Logik (in der er den ersten Lehrstuhl in Großbritannien hatte) und Philosophie der Mathematik sowie Analysis war er auch sehr an Didaktik der Mathematik interessiert. 1956 bis 1962 war er Herausgeber der Mathematical Gazette.

Zu seinen Schülern zählt Martin Löb.

Schriften

  • Fundamental concepts of mathematics, Pergamon Press, 1962, 2. Auflage 1979
  • Essays in the philosophy of mathematics, Leicester University Press 1965
  • Recursive Analysis, North Holland 1961, Dover 2010
  • Mathematical Logic, Leicester University Press 1957
  • Development of mathematical logic, London, Logos Press 1971
  • Complex functions, McGraw Hill 1965
  • Boolean Algebra, Pergamon Press 1963, Dover 2007
  • Recursive number theory - a development of recursive arithmetic in a logic-free equation calculus, North Holland 1957
  • Constructive formalism - essays on the foundations of mathematics, Leicester University College 1951
  • mit E.J.F.Primrose: Axiomatic projective geometry, Leicester University College 1953

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Reuben Goodstein — Reuben Louis Goodstein (born 15 December 1912 in London, died 8 March 1985 in Leicester) was an English mathematician with a strong interest in the philosophy and teaching of mathematics.As a boy, he attended St Paul s School in London. He… …   Wikipedia

  • Reuben Goodstein — Reuben Louis Goodstein (né le 15 décembre 1912 à Londres mort le 8 mars 1985 à Leicester) est un mathématicien et logicien britannique. Il est l auteur du théorème de Goodstein en logique mathématique, qui a des applications en informatique… …   Wikipédia en Français

  • Goodstein's theorem — In mathematical logic, Goodstein s theorem is a statement about the natural numbers made by Reuben Goodstein which states that every Goodstein sequence eventually terminates at 0. harvtxt|Kirby|Paris|1982 showed that it is unprovable in Peano… …   Wikipedia

  • Goodstein-Folge — Goodstein Folgen sind spezielle Folgen natürlicher Zahlen. Sie spielen eine Rolle in einem mathematischen Satz, dem Satz von Goodstein. Das Besondere an diesem Satz ist, dass er sich zwar mit den Mitteln der Peano Arithmetik formulieren, aber… …   Deutsch Wikipedia

  • Goodstein Folgen — sind spezielle Folgen natürlicher Zahlen. Sie spielen eine Rolle in einem mathematischen Satz, dem Satz von Goodstein. Das Besondere an diesem Satz ist, dass er sich zwar mit den Mitteln der Peano Arithmetik formulieren, aber nicht ausschließlich …   Deutsch Wikipedia

  • Satz von Goodstein — Goodstein Folgen sind spezielle Folgen natürlicher Zahlen. Sie spielen eine Rolle in einem mathematischen Satz, dem Satz von Goodstein. Das Besondere an diesem Satz ist, dass er sich zwar mit den Mitteln der Peano Arithmetik formulieren, aber… …   Deutsch Wikipedia

  • Hyperopération — En mathématiques, les hyperopérations (ou hyperopérateurs) constituent une suite infinie d opérations[1][2][3] qui prolonge logiquement la suite des opérations arithmétiques élémentaires : addition, multiplication et exponentiation. En… …   Wikipédia en Français

  • Hyper operator — Articleissues OR=September 2008The hyper operators forming the hyper n family are related to Knuth s up arrow notation and Conway chained arrow notation as follows: extrm{hyper} n (a, b) = extrm{hyper}(a,n,b) = a uparrow^{n 2} b = a o b o (n 2)… …   Wikipedia

  • Primitive recursive arithmetic — Primitive recursive arithmetic, or PRA, is a quantifier free formalization of the natural numbers. It was first proposed by Skolem [Thoralf Skolem (1923) The foundations of elementary arithmetic in Jean van Heijenoort, translator and ed. (1967)… …   Wikipedia

  • Tétration — La tétration (ou encore nappe exponentielle, hyperpuissance, tour de puissance, super exponentiation ou hyper4) est une « exponentiation itérative », le premier hyperopérateur après l exponentiation. Le mot valise tétration a été forgé… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”