« Théorème de Goodstein » : historique des versions

14 février 2024

• actudiff 13:2414 février 2024 à 13:24‎ Escargot mécanique discuter contributions‎ m 24 173 octets −11‎ Robot : Correction modèle {{Lien web}} : retrait des http dans le paramètre site (requête) et indication des éventuels liens brisés. annuler

19 décembre 2023

• actudiff 23:1119 décembre 2023 à 23:11‎ Dhatier discuter contributions‎ m 24 184 octets +1‎ →‎Notation héréditaire en base n : orthographe annuler

28 août 2023

• actudiff 00:0728 août 2023 à 00:07‎ 2a01:cb1c:aba:c100:3dab:aa15:c427:47c discuter‎ 24 183 octets 0‎ Erreur dans la définition de la longueur de la suite qui est longueur n et non m. n correspond au numéro du terme de la suite tandis que m est l'entier à partir duquel on la construit. Lorsque Gn(m) = 0 alors la suite possède n termes. Par exemple G4(2) = 0 : la suite possède 4 termes et non 2. annuler Balises : Éditeur visuel Modification par mobile Modification par le web mobile

10 août 2023

• actudiff 08:5110 août 2023 à 08:51‎ Yv91 discuter contributions‎ 24 183 octets +69‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

27 juillet 2023

• actudiff 16:4627 juillet 2023 à 16:46‎ Lomita discuter contributions‎ m 24 114 octets −5‎ v2.05 - Correction syntaxique (Item de liste terminé par un saut de ligne) annuler Balise : WPCleaner

25 juillet 2023

• actudiff 10:5025 juillet 2023 à 10:50‎ PIerre.Lescanne discuter contributions‎ m 24 119 octets −3‎ doublon annuler

21 juillet 2023

• actudiff 09:0621 juillet 2023 à 09:06‎ Proz discuter contributions‎ 24 122 octets +7‎ →‎Définition : pas formel jusqu'au bout annuler
• actudiff 00:2321 juillet 2023 à 00:23‎ Proz discuter contributions‎ 24 115 octets +1‎ →‎Théorème de Goodstein : ) en trop annuler
• actudiff 00:1121 juillet 2023 à 00:11‎ Proz discuter contributions‎ 24 114 octets +5‎ →‎Théorème de Goodstein : Pas de prédécesseur (-1) en général sur les ordinaux + correction d'une autre erreur annuler

20 juillet 2023

• actudiff 23:5920 juillet 2023 à 23:59‎ Proz discuter contributions‎ 24 109 octets −124‎ →‎Théorème de Goodstein : central : c'est bien subjectif, mais surtout l'égalité est fausse (voir l'exemple qui suit) : réduction, mais la remarque est-elle à conserver ? annuler
• actudiff 22:3020 juillet 2023 à 22:30‎ Proz discuter contributions‎ 24 233 octets −434‎ →‎Théorème de Goodstein : Pas de source pour le caractère commun de cette erreur, manifestement plutôt liée à la définition ci-dessus qui était boîteuse annuler
• actudiff 22:2420 juillet 2023 à 22:24‎ Proz discuter contributions‎ 24 667 octets +195‎ →‎Définition d'une suite de Goodstein : le cas 0 doit être explicité + cosmétique annuler
• actudiff 22:0020 juillet 2023 à 22:00‎ Proz discuter contributions‎ 24 472 octets +118‎ →‎Notation héréditaire en base n : Unicité (évident hériditairement, mais indispensable pour la suite) annuler
• actudiff 20:3820 juillet 2023 à 20:38‎ Proz discuter contributions‎ 24 354 octets −18‎ →‎Démonstration : Ce serait Fraenkel, mais la démonstration, qui n'est pas formalisée, pourrait se faire dans des théories beaucoup plus faibles (même si plus fortes que Peano), inutile de préciser annuler
• actudiff 11:1920 juillet 2023 à 11:19‎ JerGer discuter contributions‎ m 24 372 octets +48‎ →‎Démonstration dans la théorie de Zermelo-Frenkel annuler
• actudiff 11:1720 juillet 2023 à 11:17‎ JerGer discuter contributions‎ m 24 324 octets +104‎ Aucun résumé des modifications annuler
• actudiff 10:4920 juillet 2023 à 10:49‎ JerGer discuter contributions‎ m 24 220 octets 0‎ →‎Définition formelle annuler
• actudiff 10:4920 juillet 2023 à 10:49‎ JerGer discuter contributions‎ m 24 220 octets +4‎ →‎Notation héréditaire en base n : italique annuler

23 mai 2023

• actudiff 11:4523 mai 2023 à 11:45‎ Fschwarzentruber discuter contributions‎ 24 216 octets +102‎ →‎Définition d'une suite de Goodstein annuler Balise : Éditeur visuel

22 mai 2023

• actudiff 21:0522 mai 2023 à 21:05‎ Sehidinan discuter contributions‎ 24 114 octets +12‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

30 janvier 2022

• actudiff 22:3530 janvier 2022 à 22:35‎ Leluthier discuter contributions‎ 24 102 octets +230‎ →‎Généralisations et théorèmes analogues : Éclaircissement annuler Balises : Modification par mobile Modification par application mobile Modification avec l’application Android

3 décembre 2021

• actudiff 13:493 décembre 2021 à 13:49‎ Adiewibot discuter contributions‎ m 23 872 octets −54‎ RBOT : correction bug téléphone / cc. annuler

28 novembre 2021

• actudiff 21:4828 novembre 2021 à 21:48‎ Dfeldmann discuter contributions‎ m 23 926 octets −285‎ Vous croyez vraiment qu’il y avait des erreurs ? Parlez-en en page de discussion, et n’en ajoutez pas vous-même ( une suite décroissante pour n croissant, vraiment ? annuler Balise : Annulation
• actudiff 21:4528 novembre 2021 à 21:45‎ Jp.basuyaux discuter contributions‎ 24 211 octets +101‎ Précision. annuler Balises : Révoqué Éditeur visuel
• actudiff 21:3628 novembre 2021 à 21:36‎ Jp.basuyaux discuter contributions‎ 24 110 octets +12‎ Précision. annuler Balises : Révoqué Éditeur visuel
• actudiff 21:2928 novembre 2021 à 21:29‎ Jp.basuyaux discuter contributions‎ 24 098 octets +27‎ Précision. annuler Balises : Révoqué Éditeur visuel
• actudiff 21:2828 novembre 2021 à 21:28‎ Jp.basuyaux discuter contributions‎ 24 071 octets +29‎ Précision. annuler Balises : Révoqué Éditeur visuel
• actudiff 21:2428 novembre 2021 à 21:24‎ Jp.basuyaux discuter contributions‎ 24 042 octets +36‎ Précision. annuler Balises : Révoqué Éditeur visuel
• actudiff 21:2228 novembre 2021 à 21:22‎ Jp.basuyaux discuter contributions‎ 24 006 octets +80‎ Réécriture car il y avait des erreurs (au moins une formule fausse et au moins une autre formule avec une parenthèse manquante). Les exemples ont également été changés, afin de faire référence à des cas réels explicites, en indiquant explicitement les valeurs de n et de m. annuler Balises : Révoqué Éditeur visuel

1 septembre 2021

• actudiff 11:421 septembre 2021 à 11:42‎ Dfeldmann discuter contributions‎ m 23 926 octets −194‎ →‎Voir aussi annuler Balise : Éditeur de source 2017

31 août 2021

• actudiff 11:2131 août 2021 à 11:21‎ Dfeldmann discuter contributions‎ m 24 120 octets +19‎ →‎Preuve annuler Balise : Éditeur visuel

28 août 2021

• actudiff 23:3828 août 2021 à 23:38‎ Dfeldmann discuter contributions‎ m 24 101 octets +38‎ Petite subtilité typographique annuler Balise : Éditeur visuel
• actudiff 23:0428 août 2021 à 23:04‎ Lf(Lx(f)(x)x)Lx(f)(x)x discuter contributions‎ 24 063 octets +154‎ →‎Voir aussi : tentative d'exprimer en une phrase bcp de choses (qui d'ailleurs n'ont pas d'articles sur wp:fr) . C'est très perfectible. annuler

27 août 2021

• actudiff 10:4627 août 2021 à 10:46‎ Anne Bauval discuter contributions‎ m 23 909 octets −156‎ →‎Bibliographie : ordralphab + mep + retrait de la Catégorie:Axiome, présente depuis la création de l'article en 2006 annuler

13 janvier 2021

• actudiff 18:1013 janvier 2021 à 18:10‎ Leluthier discuter contributions‎ 24 065 octets +2‎ →‎Preuve annuler

12 janvier 2021

• actudiff 23:0412 janvier 2021 à 23:04‎ Leluthier discuter contributions‎ 24 063 octets +61‎ →‎Exemples de suites de Goodstein ; énoncé du théorème annuler
• actudiff 22:4912 janvier 2021 à 22:49‎ Leluthier discuter contributions‎ 24 002 octets +35‎ →‎Définition d'une suite de Goodstein annuler Balise : Éditeur visuel
• actudiff 21:0612 janvier 2021 à 21:06‎ Leluthier discuter contributions‎ 23 967 octets +293‎ →‎Exemples de suites de Goodstein ; énoncé du théorème annuler
• actudiff 19:4912 janvier 2021 à 19:49‎ Leluthier discuter contributions‎ 23 674 octets −84‎ →‎Exemples de suites de Goodstein ; énoncé du théorème annuler Balise : Éditeur visuel
• actudiff 16:0612 janvier 2021 à 16:06‎ Leluthier discuter contributions‎ 23 758 octets −1‎ →‎Exemples de suites de Goodstein ; énoncé du théorème annuler
• actudiff 16:0412 janvier 2021 à 16:04‎ Leluthier discuter contributions‎ 23 759 octets +259‎ →‎Exemples de suites de Goodstein ; énoncé du théorème annuler
• actudiff 15:4612 janvier 2021 à 15:46‎ Leluthier discuter contributions‎ 23 500 octets −65‎ →‎Exemples de suites de Goodstein ; énoncé du théorème annuler
• actudiff 15:2212 janvier 2021 à 15:22‎ Leluthier discuter contributions‎ 23 565 octets +153‎ →‎Exemples de suites de Goodstein ; énoncé du théorème annuler
• actudiff 12:4312 janvier 2021 à 12:43‎ Leluthier discuter contributions‎ m 23 412 octets −6‎ →‎Définition d'une suite de Goodstein annuler

13 novembre 2020

• actudiff 17:5713 novembre 2020 à 17:57‎ 93.22.134.177 discuter‎ 23 418 octets −1‎ correction du nom Kirby annuler

26 juillet 2020

• actudiff 20:4126 juillet 2020 à 20:41‎ Qlmn discuter contributions‎ m 23 419 octets +1‎ Aucun résumé des modifications annuler
• actudiff 20:4026 juillet 2020 à 20:40‎ Qlmn discuter contributions‎ m 23 418 octets +61‎ Aucun résumé des modifications annuler
• actudiff 20:3926 juillet 2020 à 20:39‎ Qlmn discuter contributions‎ m 23 357 octets −19‎ le lien affiché vers arithmétique est trompeur, pour le lecteur il est clair qu'il vaut mieux lier uniquement vers axiomes de Peano (un lien vers la biographie de Peano est peu pertinent ici, et même dans l'article tout entier, en l'état du moins) annuler

12 avril 2020

• actudiff 21:2812 avril 2020 à 21:28‎ Cbyd discuter contributions‎ 23 376 octets +29‎ +homonymie annuler

4 mars 2020

• actudiff 10:194 mars 2020 à 10:19‎ Gustave67 discuter contributions‎ m 23 347 octets −26‎ Révocation des modifications de 194.167.31.73 (retour à la version précédente de Proz) annuler