« Raisonnement par récurrence » : historique des versions

26 avril 2023

• actudiff 14:1126 avril 2023 à 14:11‎ Csar62 discuter contributions‎ m 44 884 octets −42‎ Révocation des modifications de 37.174.30.148 (retour à la dernière version de Captain Linuqs) annuler Balise : Révocation
• actudiff 14:1026 avril 2023 à 14:10‎ 37.174.30.148 discuter‎ 44 926 octets +42‎ →‎Présentation annuler Balises : Révoqué Modification par mobile Modification par le web mobile

6 décembre 2022

• actudiff 20:016 décembre 2022 à 20:01‎ Captain Linuqs discuter contributions‎ 44 884 octets +8‎ Fonctionnalité de suggestions de liens : 2 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

9 novembre 2022

• actudiff 18:089 novembre 2022 à 18:08‎ Dfeldmann discuter contributions‎ m 44 876 octets −3‎ Annulation de la modification de 81.185.188.104 (d) annuler Balise : Annulation
• actudiff 18:049 novembre 2022 à 18:04‎ 81.185.188.104 discuter‎ 44 879 octets +3‎ →‎Le XVIIe siècle et ensuite annuler Balises : Révoqué Éditeur visuel

7 septembre 2022

• actudiff 15:277 septembre 2022 à 15:27‎ Kelam discuter contributions‎ m 44 876 octets +1‎ retouche de la modification précédente annuler
• actudiff 15:267 septembre 2022 à 15:26‎ Kelam discuter contributions‎ m 44 875 octets +11‎ typographie annuler
• actudiff 15:267 septembre 2022 à 15:26‎ Kelam discuter contributions‎ m 44 864 octets +6‎ →‎Précautions à prendre : typographie annuler

30 juin 2022

• actudiff 22:3430 juin 2022 à 22:34‎ Graviot discuter contributions‎ m 44 858 octets −4‎ →‎Avant le {{s-|XVII|e}} : - lien sans intérêt ici annuler
• actudiff 21:2430 juin 2022 à 21:24‎ TheCrazyRabbit New discuter contributions‎ 44 862 octets +12‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

11 juin 2022

• actudiff 20:4311 juin 2022 à 20:43‎ 109.62.66.2 discuter‎ 44 850 octets −6‎ →‎Généralisations annuler Balises : Révocation manuelle Modification par mobile Modification par le web mobile
• actudiff 20:4211 juin 2022 à 20:42‎ 109.62.66.2 discuter‎ 44 856 octets +6‎ →‎Généralisations annuler Balises : Modification par mobile Modification par le web mobile

8 juin 2022

• actudiff 00:498 juin 2022 à 00:49‎ Jallio discuter contributions‎ 44 850 octets +22‎ Fonctionnalité de suggestions de liens : 1 lien ajouté. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

11 avril 2022

• actudiff 10:1611 avril 2022 à 10:16‎ Martin-78 discuter contributions‎ 44 828 octets −11‎ Révocation des modifications de 217.171.29.19 (retour à la dernière version de WikiCleanerBot) ; Vandalisme annuler Balises : LiveRC Annulation
• actudiff 10:1611 avril 2022 à 10:16‎ 217.171.29.19 discuter‎ 44 839 octets +11‎ →‎Le principe de récurrence et l'ω-incohérence annuler Balises : Révoqué Éditeur visuel

2 avril 2022

• actudiff 21:122 avril 2022 à 21:12‎ WikiCleanerBot discuter contributions‎ m 44 828 octets +4‎ v2.04b - Bot T3 PCS#545 - Correction syntaxique (Modèle avec paramètre obsolète) annuler Balise : WPCleaner

25 mars 2022

• actudiff 16:2325 mars 2022 à 16:23‎ Anne Bauval discuter contributions‎ m 44 824 octets +178‎ mefrefs annuler
• actudiff 15:4425 mars 2022 à 15:44‎ HB discuter contributions‎ 44 646 octets +11‎ →‎Histoire : lien rashed annuler
• actudiff 15:4025 mars 2022 à 15:40‎ HB discuter contributions‎ 44 635 octets +3‎ →‎Avant le {{s-|XVII|e}} : plus précis annuler
• actudiff 15:3925 mars 2022 à 15:39‎ HB discuter contributions‎ 44 632 octets +318‎ →‎Avant le {{s-|XVII|e}} : lien vers l'article de Rashed - tentative de clarification - pb karachi samawal annuler
• actudiff 15:0125 mars 2022 à 15:01‎ HB discuter contributions‎ 44 314 octets +58‎ →‎Bibliographie : modèle annuler
• actudiff 11:3525 mars 2022 à 11:35‎ PIerre.Lescanne discuter contributions‎ 44 256 octets +16‎ →‎Avant le {{s-|XVII|e}} annuler
• actudiff 11:3225 mars 2022 à 11:32‎ PIerre.Lescanne discuter contributions‎ 44 240 octets +47‎ →‎Avant le {{s-|XVII|e}} : lien annuler
• actudiff 11:2725 mars 2022 à 11:27‎ PIerre.Lescanne discuter contributions‎ 44 193 octets −4‎ →‎Présentation : L'utilisation ici d langage formel ne correspond pas à celle du lien annuler
• actudiff 11:2425 mars 2022 à 11:24‎ PIerre.Lescanne discuter contributions‎ 44 197 octets +9‎ →‎Avant le {{s-|XVII|e}} : Cela réfère à l'algèbre, pas à un "langage algébrique" annuler

24 mars 2022

• actudiff 17:0124 mars 2022 à 17:01‎ MonsieurJST discuter contributions‎ 44 188 octets +12‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Modification par mobile Modification par le web mobile Tâche pour novices Suggéré : ajouter des liens

9 août 2021

• actudiff 19:539 août 2021 à 19:53‎ Vincent Limon discuter contributions‎ 44 176 octets −7‎ Aucun résumé des modifications annuler

8 août 2021

• actudiff 21:208 août 2021 à 21:20‎ WikiCleanerBot discuter contributions‎ m 44 183 octets −30‎ v2.04b - Bot T3 - Correction syntaxique (Lien interne avec cible identique au texte - Orthographe et typographie) annuler Balise : WPCleaner

3 août 2021

• actudiff 16:343 août 2021 à 16:34‎ 2a01:e0a:8c8:f530:2522:9dbf:f440:271c discuter‎ 44 213 octets +33‎ →‎Le XVIIe siècle et ensuite : style annuler Balise : Éditeur visuel

10 juin 2021

• actudiff 10:1610 juin 2021 à 10:16‎ Anne Bauval discuter contributions‎ m 44 180 octets −1‎ Annulation de la modification de 77.141.70.28 (d) faut lire annuler Balise : Annulation
• actudiff 10:0310 juin 2021 à 10:03‎ 77.141.70.28 discuter‎ 44 181 octets +1‎ →‎Avant le XVIIe siècle annuler Balises : Révoqué Éditeur visuel

26 mai 2021

• actudiff 17:0626 mai 2021 à 17:06‎ Anne Bauval discuter contributions‎ m 44 180 octets −76‎ Annulation de la modification de PIerre.Lescanne (d) l'unicité du min est vraie pour tout bon ordre donc n'est pas spécifique à N annuler Balise : Annulation
• actudiff 12:3826 mai 2021 à 12:38‎ PIerre.Lescanne discuter contributions‎ 44 256 octets +76‎ →‎Récurrence bien fondée : il y a deux propriétés annuler Balise : Révoqué
• actudiff 12:0726 mai 2021 à 12:07‎ PIerre.Lescanne discuter contributions‎ 44 180 octets +278‎ →‎Récurrence bien fondée : une hypothèse est valide ou vraie, mais pas "vide", car ce n'est pas un ensemble annuler
• actudiff 11:5126 mai 2021 à 11:51‎ 77.135.173.70 discuter‎ 43 902 octets −2‎ →‎Présentation annuler Balises : Révocation manuelle Éditeur visuel
• actudiff 11:5026 mai 2021 à 11:50‎ 77.135.173.70 discuter‎ 43 904 octets +2‎ →‎Présentation annuler Balise : Éditeur visuel

5 mai 2021

• actudiff 13:245 mai 2021 à 13:24‎ Proz discuter contributions‎ 43 902 octets −6‎ Annulation des modifications de 2a01:e0a:27d:eed0:84d2:a917:780f:23f3 (retour à la version précédente de IPontier) annuler Balise : Révocation manuelle
• actudiff 11:555 mai 2021 à 11:55‎ 2a01:e0a:27d:eed0:84d2:a917:780f:23f3 discuter‎ 43 908 octets +5‎ →‎Exemple 2 : Identité du binôme de Newton annuler Balise : Révoqué
• actudiff 11:545 mai 2021 à 11:54‎ 2a01:e0a:27d:eed0:84d2:a917:780f:23f3 discuter‎ 43 903 octets +1‎ →‎Exemple 2 : Identité du binôme de Newton annuler Balise : Révoqué

4 mars 2021

• actudiff 17:284 mars 2021 à 17:28‎ IPontier discuter contributions‎ m 43 902 octets +128‎ précisions concernant l'entier de l'initialisation annuler Balise : Éditeur visuel

24 février 2021

• actudiff 19:4224 février 2021 à 19:42‎ JerGer discuter contributions‎ m 43 774 octets 0‎ →‎Principe de descente infinie de Fermat annuler

22 novembre 2020

• actudiff 13:2522 novembre 2020 à 13:25‎ PIerre.Lescanne discuter contributions‎ 43 774 octets −7‎ Annulation de la modification de 91.174.229.50 (d) La récurrence n'est pas forcément en logique classique (cad booléenne) annuler Balise : Annulation

20 novembre 2020

• actudiff 13:2620 novembre 2020 à 13:26‎ 91.174.229.50 discuter‎ 43 781 octets +7‎ →‎Un principe de récurrence alternatif annuler Balises : Révoqué Éditeur visuel

18 novembre 2020

• actudiff 17:1618 novembre 2020 à 17:16‎ CodexBot discuter contributions‎ m 43 774 octets −62‎ bot [0.9] 📗 Amélioration bibliographique 1x : ±lien auteur1 annuler

12 octobre 2020

• actudiff 11:2912 octobre 2020 à 11:29‎ 86.193.155.143 discuter‎ 43 836 octets +111‎ →‎Le principe de récurrence et l'ω-incohérence : La correction arithmétique (d'un certain codage de l'arithmétique - à la Gödel par exemple - dans le langage) d'une théorie est la propriété que tout (code d')énoncé arithmétique qu'elle démontre est effectivement vrai. annuler Balise : Éditeur visuel

20 décembre 2019

• actudiff 04:2220 décembre 2019 à 04:22‎ Adiewibot discuter contributions‎ m 43 725 octets +44‎ BOT modèle Lien : 1 → lien interne ; + CC. annuler

9 octobre 2019

• actudiff 00:509 octobre 2019 à 00:50‎ Malik2Mars discuter contributions‎ m 43 681 octets −2‎ →‎Bibliographie : repar doi annuler

8 octobre 2019

• actudiff 23:598 octobre 2019 à 23:59‎ Malik2Mars discuter contributions‎ m 43 683 octets −1‎ →‎Avant le {{s-|XVII|e}} : pas loin du TI là.... annuler

28 août 2019

• actudiff 07:4828 août 2019 à 07:48‎ Anne Bauval discuter contributions‎ m 43 684 octets −79‎ – confusions du 14/8 annuler

14 août 2019

• actudiff 18:3514 août 2019 à 18:35‎ PIerre.Lescanne discuter contributions‎ 43 763 octets −182‎ →‎Articles connexes : Il ne s'agit pas d'une récurrence forte annuler