« Théorèmes d'incomplétude de Gödel » : historique des versions

23 mars 2024

• actudiff 19:5923 mars 2024 à 19:59‎ OrlodrimBot discuter contributions‎ m 78 560 octets 0‎ Restauration des ancres brisées annuler

14 novembre 2023

• actudiff 10:4014 novembre 2023 à 10:40‎ Lucky Marie Wiki discuter contributions‎ 78 560 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 novembre 2023

• actudiff 17:369 novembre 2023 à 17:36‎ Malik2Mars discuter contributions‎ 78 548 octets −57‎ →‎Article annexe : ménage. annuler Balises : Révocation manuelle Éditeur de source 2017
• actudiff 17:339 novembre 2023 à 17:33‎ Manseng discuter contributions‎ m 78 605 octets +1‎ rectification d'une coquille annuler Balises : Révoqué Éditeur visuel

29 juin 2023

• actudiff 23:1829 juin 2023 à 23:18‎ Nore11 discuter contributions‎ 78 604 octets +56‎ ajout de Voyages au pays des maths annuler Balises : Révoqué Éditeur visuel

5 avril 2023

• actudiff 00:165 avril 2023 à 00:16‎ Proz discuter contributions‎ 78 548 octets −136‎ diagramme inadéquat, cf. pdd annuler Balise : Révocation manuelle

4 avril 2023

• actudiff 15:014 avril 2023 à 15:01‎ D Cat laz discuter contributions‎ 78 684 octets +136‎ →‎Vérité et démontrabilité : Ajout image annuler Balises : Révoqué Éditeur visuel

27 décembre 2022

• actudiff 15:2127 décembre 2022 à 15:21‎ LeBouillon discuter contributions‎ m 78 548 octets −1‎ coquille annuler

1 octobre 2022

• actudiff 17:191 octobre 2022 à 17:19‎ Mû discuter contributions‎ m 78 549 octets +6‎ Aucun résumé des modifications annuler Balises : Modification par mobile Modification par le web mobile

29 mars 2022

• actudiff 02:4829 mars 2022 à 02:48‎ WikiCleanerBot discuter contributions‎ m 78 543 octets −22‎ v2.04b - Correction syntaxique (Espace insécable) annuler Balise : WPCleaner

22 février 2022

• actudiff 14:4822 février 2022 à 14:48‎ Lepticed7 discuter contributions‎ 78 565 octets +149‎ Séparation notes et références annuler Balise : Éditeur visuel : basculé

12 janvier 2022

• actudiff 20:3512 janvier 2022 à 20:35‎ Grasyop discuter contributions‎ 78 416 octets +15‎ cohérente annuler

29 décembre 2021

• actudiff 08:5429 décembre 2021 à 08:54‎ Anne Bauval discuter contributions‎ m 78 401 octets −52‎ mieux placé la ref (fournie en juillet 2012 par Epsilon0) annuler
• actudiff 01:1029 décembre 2021 à 01:10‎ Albgr03 discuter contributions‎ m 78 453 octets −7‎ Utilisation de {{refnec}} à la place d'une note annuler

4 décembre 2021

• actudiff 19:484 décembre 2021 à 19:48‎ Manseng discuter contributions‎ m 78 460 octets +6‎ mise en forme (caractère = dans l'argument d'un modèle) annuler Balise : Éditeur visuel : basculé

26 novembre 2021

• actudiff 17:1726 novembre 2021 à 17:17‎ Dfeldmann discuter contributions‎ m 78 454 octets −13‎ Possible, mais on le dit Annulation de la modification de 205.236.230.72 (d) annuler Balise : Annulation
• actudiff 17:1226 novembre 2021 à 17:12‎ 205.236.230.72 discuter‎ 78 467 octets +13‎ →‎Énoncés des deux théorèmes annuler Balises : Révoqué Modification par mobile Modification par application mobile Modification avec l’application Android

10 novembre 2021

• actudiff 01:0510 novembre 2021 à 01:05‎ Wart Dark discuter contributions‎ m 78 454 octets −42‎ – Catégorie:Principe épistémologique annuler Balise : HotCats

7 novembre 2021

• actudiff 17:527 novembre 2021 à 17:52‎ Akêdía discuter contributions‎ m 78 496 octets +18‎ Source manquante annuler Balises : Éditeur visuel Modification par mobile Modification par le web mobile

24 septembre 2021

• actudiff 07:1724 septembre 2021 à 07:17‎ Vers75 discuter contributions‎ m 78 478 octets +4‎ + Lien "Monatshefte für Mathematik und Physik" annuler

21 août 2021

• actudiff 12:4421 août 2021 à 12:44‎ Pic-Sou discuter contributions‎ 78 474 octets −12‎ →‎Les conditions d'application des théorèmes : adverbe superflu (style encyclopédique) annuler

16 août 2021

• actudiff 17:1416 août 2021 à 17:14‎ Franky007 discuter contributions‎ 78 486 octets −3‎ lien annuler

22 janvier 2021

• actudiff 20:1522 janvier 2021 à 20:15‎ CodexBot discuter contributions‎ m 78 489 octets −6‎ bot [0.9] 📗 Amélioration bibliographique 2x : tracking... annuler

26 novembre 2020

• actudiff 12:2326 novembre 2020 à 12:23‎ 2a01:cb08:aa2:600:1150:b8c3:8afc:4c1f discuter‎ 78 495 octets +2‎ →‎Formules Σ0 : plus clair ? annuler

28 septembre 2020

• actudiff 00:3028 septembre 2020 à 00:30‎ Ramsès Deux discuter contributions‎ m 78 493 octets 0‎ →‎Une preuve partielle du premier théorème d'incomplétude annuler

10 septembre 2020

• actudiff 20:2510 septembre 2020 à 20:25‎ Vincent Limon discuter contributions‎ 78 493 octets +133‎ Aucun résumé des modifications annuler

8 septembre 2020

• actudiff 23:498 septembre 2020 à 23:49‎ Proz discuter contributions‎ 78 360 octets +133‎ Annulation de la modification de Vincent Limon (d) : c'est une notation pour une formule logique annuler Balise : Annulation
• actudiff 23:388 septembre 2020 à 23:38‎ Vincent Limon discuter contributions‎ 78 227 octets −133‎ Aucun résumé des modifications annuler

10 août 2020

• actudiff 18:2310 août 2020 à 18:23‎ 37.172.99.28 discuter‎ 78 360 octets +1‎ Rajout d'une virgule manquante annuler Balise : Éditeur visuel

3 août 2020

• actudiff 23:213 août 2020 à 23:21‎ Snawei discuter contributions‎ m 78 359 octets +1‎ orthographe annuler

22 juillet 2020

• actudiff 10:0922 juillet 2020 à 10:09‎ Vers75 discuter contributions‎ m 78 358 octets +4‎ + lien "North-Holland" annuler

5 mai 2020

• actudiff 19:385 mai 2020 à 19:38‎ Bot de pluie discuter contributions‎ m 78 354 octets +20‎ Mise en forme des dates avec insertion d'espaces insécables. annuler Balise : AWB

19 janvier 2020

• actudiff 16:2919 janvier 2020 à 16:29‎ Cbyd discuter contributions‎ 78 334 octets −18‎ +LI James R. Newman (trad) annuler

1 novembre 2019

• actudiff 04:591 novembre 2019 à 04:59‎ Dfeldmann discuter contributions‎ m 78 352 octets +7‎ Aucun résumé des modifications annuler Balise : Éditeur visuel
• actudiff 02:411 novembre 2019 à 02:41‎ 37.166.156.165 discuter‎ 78 345 octets −5‎ →‎Accueil des théorèmes par les mathématiciens : Suppression d'un connecteur logique qui était contre intuitif. annuler Balises : Modification par mobile Modification par le web mobile

27 septembre 2019

• actudiff 18:1427 septembre 2019 à 18:14‎ Pautard discuter contributions‎ m 78 350 octets 0‎ quasi immédiate annuler

8 septembre 2019

• actudiff 03:368 septembre 2019 à 03:36‎ Guillaume Le Conquistador discuter contributions‎ m 78 350 octets −3‎ mise en forme annuler

1 septembre 2019

• actudiff 19:201 septembre 2019 à 19:20‎ Salebot discuter contributions‎ 78 353 octets +807‎ bot : révocation de Risicirculez (modification suspecte : -26), retour à la version 162290020 de Shawn annuler
• actudiff 19:191 septembre 2019 à 19:19‎ Risicirculez discuter contributions‎ 77 546 octets −807‎ Annulation de la modification de JLM (d) annuler Balise : Annulation
• actudiff 19:191 septembre 2019 à 19:19‎ Shawn discuter contributions‎ m 78 353 octets +807‎ Révocation des modifications de Risicirculez (retour à la dernière version de JLM) annuler Balise : Révocation
• actudiff 19:191 septembre 2019 à 19:19‎ Risicirculez discuter contributions‎ 77 546 octets −807‎ Annulation de la modification de JLM (d) annuler Balise : Annulation
• actudiff 19:181 septembre 2019 à 19:18‎ JLM discuter contributions‎ m 78 353 octets +807‎ Annulation de la modification de Risicirculez (d) annuler Balise : Annulation
• actudiff 19:181 septembre 2019 à 19:18‎ Risicirculez discuter contributions‎ 77 546 octets −807‎ Annulation de la modification de JLM (d) annuler Balise : Annulation
• actudiff 19:171 septembre 2019 à 19:17‎ JLM discuter contributions‎ m 78 353 octets +807‎ Annulation de la modification de Risicirculez (d) annuler Balise : Annulation
• actudiff 19:171 septembre 2019 à 19:17‎ Risicirculez discuter contributions‎ 77 546 octets −807‎ Aucun résumé des modifications annuler Balise : Éditeur visuel
• actudiff 19:161 septembre 2019 à 19:16‎ JLM discuter contributions‎ m 78 353 octets −34‎ Annulation de la modification de Risicirculez (d) annuler Balise : Annulation
• actudiff 19:161 septembre 2019 à 19:16‎ Risicirculez discuter contributions‎ 78 387 octets +34‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

14 juillet 2019

• actudiff 03:1714 juillet 2019 à 03:17‎ Epsilon0 discuter contributions‎ m 78 353 octets +7‎ →‎Généralisations et conjectures annuler
• actudiff 03:1314 juillet 2019 à 03:13‎ Epsilon0 discuter contributions‎ 78 346 octets +523‎ →‎Généralisations et conjectures : <-- nouvelle section rapidement ébauchée ; merci de relire, améliorer, amender, mon ajout ici et sur Leonid_Levin#Travaux_sur_les_théorèmes_d'incomplétudes annuler

10 mai 2019

• actudiff 14:0810 mai 2019 à 14:08‎ Guiguidu60 discuter contributions‎ m 77 823 octets +33‎ Ajout de la palette "informatique théorique" annuler Balise : Éditeur visuel