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 (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
