| rdfs:comment
| - Goodsteinova věta, vyslovená v roce 1944 , tvrdí:Pro každou Goodsteinovu posloupnost existuje takové přirozené číslo , pro které je . (cs)
- グッドスタインの定理（グッドスタインのていり、Goodstein's theorem）は、数理論理学における自然数に関する命題であり、「全てのグッドスタイン数列は必ず0で終わる」という主張。ペアノ算術の範囲では証明も否定の証明もできないが、集合論の公理系、特に無限集合の公理を用いると真であることが言える。たとえばゲーデルの不完全性定理から導かれる決定不能な命題などは、いかにも不自然だったり人工的に見えたりする場合があるのに対し、この定理は「自然な」決定不能命題の例として知られる。 (ja)
- 굿스타인의 정리(Goodstein's theorem, -定理)는 집합론의 정리이다. 이 정리는 처음에는 증가하는 것 같지만 결국에는 0으로 감소하는 수열(약한 굿스타인 수열)의 예를 들고 있다. 영국 수학자 루벤 루이스 굿스타인의 이름이 붙어 있으며, 굿스타인에 의해 1944년 처음 증명되었다.:71 이 정리의 보다 강한 판본은 패리스의 정리로 주어진다. 는 영국 수학자 (Jeff Paris)의 이름에서 따왔으며, 1981년 처음 증명되었다.:71 (ko)
- Twierdzenie Goodsteina – twierdzenie teorii liczb sformułowane przez Goodsteina w 1944 roku dotyczące pewnej własności ciągów liczb naturalnych. Mimo że sformułowanie twierdzenia jest czysto arytmetyczne i względnie nieskomplikowane, twierdzenie to jest niezależne od aksjomatyki Peana, co udowodnili w 1982 roku Jeff Paris i Laurie Kirby. (pl)
- In matematica, il teorema di Goodstein è un teorema sui numeri naturali, relativamente semplice da enunciare, la cui particolarità consiste nel fatto di essere indecidibile dall'aritmetica di Peano ma dimostrabile nella teoria assiomatica degli insiemi. Esso può essere considerato un esempio di enunciato indecidibile dagli usuali assiomi dell'aritmetica più "naturale" rispetto alle complicate costruzioni dei teoremi di incompletezza di Gödel. Per enunciare il teorema di Goodstein occorre dare alcune definizioni preliminari. (it)
- Теорема Гудштейна — твердження математичної логіки про натуральні числа, зроблене , стверджує, що всі послідовності Гудштейна закінчуються нулем. Це теорема є невиводимою із аксіом Пеано, але може бути доведена в . (uk)
- Теорема Гудстейна — теорема математической логики о натуральных числах, доказанная Рубеном Гудстейном. Утверждает, что все последовательности Гудстейна заканчиваются нулём. Как показали и Джефф Парис, теорема Гудстейна недоказуема в аксиоматике Пеано (но может быть доказана, например, в ). (ru)
- 古德斯坦定理是數理邏輯中的一個關於自然數的敘述，是在 1944 年由所證明。其主要是在說明「古德斯坦序列」最終會結束於 0 。柯比和柏麗斯 證明它在皮亞諾算術中是（但它可以在一個更強的系統如二階算術中被證明）。這是繼哥德爾不完備定理構造的命題（）和 1943 年格哈德·根岑直接證明皮亞諾算術中 ε0-induction 不可被證明之後，第三個（對自然數為真的）命題被證明在皮亞諾算術中不可證明。之後的例子是。 勞倫斯·柯比和傑夫·柏麗斯介紹了一個圖論中的九頭蛇遊戲，其行為類似古德斯坦序列：「九頭蛇」是一棵有根的樹，而序列每一步是砍掉它的一顆頭（即樹的分支），然後九頭蛇則對應地會依據某些規則來增加有限數量的頭。柯比和柏麗斯則證明，不管赫拉克勒斯使用何種策略來砍頭，九頭蛇最終會被斬殺（儘管這個過程可能會非常漫長）。如古德斯坦序列，柯比和柏麗斯證明其在皮亞諾算術中是不可證明的。 (zh)
- In mathematical logic, Goodstein's theorem is a statement about the natural numbers, proved by Reuben Goodstein in 1944, which states that every Goodstein sequence eventually terminates at 0. Kirby and Paris showed that it is unprovable in Peano arithmetic (but it can be proven in stronger systems, such as second-order arithmetic). This was the third example of a true statement that is unprovable in Peano arithmetic, after the examples provided by Gödel's incompleteness theorem and Gerhard Gentzen's 1943 direct proof of the unprovability of ε0-induction in Peano arithmetic. The Paris–Harrington theorem gave another example. (en)
- En mathématiques, et plus précisément en logique mathématique, le théorème de Goodstein est un énoncé arithmétique portant sur des suites, dites suites de Goodstein. Les suites de Goodstein sont des suites d'entiers à la croissance initiale extrêmement rapide, et le théorème établit que (en dépit des apparences) toute suite de Goodstein se termine par 0. Il doit son nom à son auteur, le mathématicien et logicien Reuben Goodstein. (fr)
- Na matemática lógica, o Teorema de Goodstein é um enunciado sobre os números naturais, provado por Reuben Goodstein em 1994, o qual define que toda sequência de Goodstein termina em zero. Kirby & Paris, em 1982, mostraram que isto não é demonstrável na aritmética de Peano (mas isto pode ser provado em sistemas em ordem maior, de acordo com a ordem aritmética). Este foi o terceiro exemplo “natural” de um enunciado verdadeiro que não é demonstrável na aritmética de Peano(depois da prova direta, de Gerhard Gentzen, em 1943,da indemonstrabilidade da indução-ε0 na aritmética de Peano e o Teorema de Paris-Harrington).Anteriormente, enunciados deste tipo tinham sido, exceto para Gentzen, extremamente complicados, construções aleatórias (como os enunciados gerados pela construção dada no Teorema d (pt)
- Goodsteins teorem är inom matematisk logik ett uttalande om de naturliga talen, som bevisade 1944, vilket säger att varje Goodstein-sekvens till slut terminerar vid 0. Kirby och Paris visade att det är oavgörbart i Peano-aritmetik (men det kan bevisas i starkare system, såsom ). Detta var det tredje exemplet på ett sant uttalande som är oavgörbart inom Peano-aritmetik, efter Gödels ofullständighetsteorem och direkta bevis 1943 av att ε0-induktion är oavgörbar i Peano-aritmetik. Paris-Harringtons sats var ett senare exempel. (sv)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)