Reuben Goodstein


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 théorique.

Lien externe


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Reuben Goodstein de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • 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 …   Deutsch Wikipedia

  • 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

  • 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”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.