« Fondements des mathématiques/Des preuves de cohérence » : historique des versions

1 août 2018

• actudiff 18:091 août 2018 à 18:09‎ Crochet.david.bot discussion contributions‎ m 26 107 octets +4‎ Robot : Remplacement de texte automatisé (-\b(a priori(''')?)(?=[\s,.)]|$) +''\1'') annuler

1 août 2017

• actudiff 14:511 août 2017 à 14:51‎ Crochet.david.bot discussion contributions‎ m 26 103 octets +6‎ Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n) annuler

19 septembre 2014

• actudiff 22:3719 septembre 2014 à 22:37‎ JackBot discussion contributions‎ m 26 097 octets −71‎ Autoformatage, retrait de la clé de tri annuler

15 février 2013

• actudiff 12:1315 février 2013 à 12:13‎ 78.119.144.118 discussion‎ 26 168 octets −1‎ →‎Comment prouver la vérité des axiomes ? annuler

23 décembre 2012

• actudiff 17:1623 décembre 2012 à 17:16‎ Crochet.david.bot discussion contributions‎ m 26 169 octets 0‎ Robot : Remplacement de texte automatisé (-\{\{[cC]hapitre(.*)\{\{[Cc]lé de tri\s*\|([^\}]*)\}\}(.*) +{{Chapitre\n | clé = \2\1\3) annuler

24 octobre 2012

• actudiff 04:3724 octobre 2012 à 04:37‎ Lydie Noria discussion contributions‎ 26 169 octets +8‎ mise à jour annuler
• actudiff 04:3024 octobre 2012 à 04:30‎ Lydie Noria discussion contributions‎ m 26 161 octets +2‎ mise à jour annuler

7 août 2012

• actudiff 16:427 août 2012 à 16:42‎ Crochet.david.bot discussion contributions‎ m 26 159 octets −42‎ Robot : Remplacement de texte automatisé (-(\{\{[cC]hapitre[^\}]*)\|\s*titre\s*=[^\n]*\s* +\1) annuler

3 août 2012

• actudiff 17:163 août 2012 à 17:16‎ Lydie Noria discussion contributions‎ 26 201 octets +94‎ wikification annuler

25 juin 2012

• actudiff 06:5625 juin 2012 à 06:56‎ Lydie Noria discussion contributions‎ 26 107 octets −1 847‎ Mise à jour annuler

8 mai 2012

• actudiff 13:358 mai 2012 à 13:35‎ Lydie Noria discussion contributions‎ 27 954 octets −28‎ Ce n'est plus une ébauche annuler

3 mars 2012

• actudiff 22:173 mars 2012 à 22:17‎ JackBot discussion contributions‎ m 27 982 octets +82‎ Autoformatage annuler

17 septembre 2011

• actudiff 11:2217 septembre 2011 à 11:22‎ JackBot discussion contributions‎ m 27 900 octets −46‎ Retrait des catégories en double annuler

12 août 2011

• actudiff 17:0412 août 2011 à 17:04‎ Crochet.david.bot discussion contributions‎ m 27 946 octets +1‎ Robot : Remplacement de texte automatisé (-\n\s*\|\s*numero +\n | numéro) annuler

26 avril 2011

• actudiff 17:4526 avril 2011 à 17:45‎ Crochet.david.bot discussion contributions‎ m 27 945 octets −50‎ Utilisation du paramètre par défaut du modèle annuler

9 juin 2010

• actudiff 14:349 juin 2010 à 14:34‎ Crochet.david.bot discussion contributions‎ m 27 995 octets 0‎ Robot : Remplacement de texte automatisé (-[“"”]([^“"”]*)[“"”] +« \1 ») annuler

30 décembre 2009

• actudiff 17:4730 décembre 2009 à 17:47‎ Crochet.david.bot discussion contributions‎ m 27 995 octets +1‎ Robot : Remplacement de texte automatisé (-(\.|\:|\?|!|==) A +\1 À ) annuler

18 août 2009

• actudiff 09:0018 août 2009 à 09:00‎ Crochet.david.bot discussion contributions‎ m 27 994 octets −52‎ Robot : Remplacement de texte automatisé (- *\| *leçon *= *\[\[(.*)\]\] + | leçon = ../) annuler

2 juin 2009

• actudiff 19:252 juin 2009 à 19:25‎ Crochet.david.bot discussion contributions‎ m 28 046 octets −7‎ Robot : Remplacement de texte automatisé (-XIXème siècle +{{s|19}}) annuler

23 février 2009

• actudiff 10:5923 février 2009 à 10:59‎ Crochet.david.bot discussion contributions‎ m 28 053 octets −132‎ Bot : Remplacement de texte automatisé (- {,2}\| ?précédent {,3}= ?\[\[([\w\s]*)\/([\w\s]*)\|([\w\s]*)\]\] + | précédent = ../\2/) annuler

27 décembre 2008

• actudiff 10:5927 décembre 2008 à 10:59‎ Crochet.david.bot discussion contributions‎ m 28 185 octets −4‎ Bot : Remplacement de texte automatisé (-, *(…|\.\.\.) +…) annuler

17 novembre 2008

• actudiff 18:0417 novembre 2008 à 18:04‎ Zetud discussion contributions‎ 28 189 octets +3‎ →‎A quoi servent les méthodes formelles ? : Orth., Format siècle annuler
• actudiff 18:0117 novembre 2008 à 18:01‎ Zetud discussion contributions‎ m 28 186 octets −2‎ Orth., Typo., typos fixed: 19ème siècle → {{s-|{{subst:Nombre en romain|19|subst=subst:}}|e}} annuler

10 juillet 2008

• actudiff 11:5710 juillet 2008 à 11:57‎ Crochet.david.bot discussion contributions‎ 28 188 octets +64‎ Aucun résumé des modifications annuler

17 septembre 2007

• actudiff 11:5717 septembre 2007 à 11:57‎ Crochet.david.bot discussion contributions‎ m 28 124 octets 0‎ Bot : Remplacement de texte automatisé (-... +…) annuler

23 août 2007

• actudiff 14:5723 août 2007 à 14:57‎ Xzapro4 discussion contributions‎ m 28 124 octets +209‎ Bas de Page annuler

10 août 2007

• actudiff 14:3710 août 2007 à 14:37‎ Crochet.david.bot discussion contributions‎ m 27 915 octets +2‎ Bot : Remplacement de texte automatisé (-\. A +. À ) annuler
• actudiff 14:3010 août 2007 à 14:30‎ Crochet.david.bot discussion contributions‎ m 27 913 octets +1‎ Bot : Remplacement de texte automatisé (-(?<=[^0-9 ]) *, *(?!\s) +, ) annuler

9 août 2007

• actudiff 20:279 août 2007 à 20:27‎ Crochet.david.bot discussion contributions‎ m 27 912 octets 0‎ Bot : Remplacement de texte automatisé (-\b(d|D)(é|e|è)j(a|à)\b +\1éjà) annuler
• actudiff 15:589 août 2007 à 15:58‎ Crochet.david.bot discussion contributions‎ m 27 912 octets 0‎ Bot : Remplacement de texte automatisé (-\b([Cc][’'])est +[àa] +dire\b +\1est-à-dire) annuler

8 août 2007

• actudiff 21:028 août 2007 à 21:02‎ Crochet.david.bot discussion contributions‎ m 27 912 octets 0‎ Bot : Remplacement de texte automatisé (-oe +œ) annuler

28 avril 2007

• actudiff 13:3828 avril 2007 à 13:38‎ Crochet.david discussion contributions‎ m 27 912 octets +136‎ ajout navigateur de chapitre annuler

21 avril 2007

• actudiff 21:1821 avril 2007 à 21:18‎ Julien1311 discussion contributions‎ m 27 776 octets +11‎ →‎La cohérence des théories des ensembles finitaires : lien annuler
• actudiff 21:1821 avril 2007 à 21:18‎ Julien1311 discussion contributions‎ m 27 765 octets +11‎ →‎Une preuve formelle de la cohérence de l’arithmétique formelle : lien annuler
• actudiff 21:1821 avril 2007 à 21:18‎ Julien1311 discussion contributions‎ m 27 754 octets +11‎ lien annuler
• actudiff 21:1721 avril 2007 à 21:17‎ Julien1311 discussion contributions‎ m 27 743 octets +9‎ →‎Une preuve naturelle de la cohérence de l’arithmétique formelle : lien annuler
• actudiff 16:1321 avril 2007 à 16:13‎ Julien1311 discussion contributions‎ m 27 734 octets −6‎ modèle annuler

16 mars 2007

• actudiff 14:5416 mars 2007 à 14:54‎ Julien1311 discussion contributions‎ m 27 740 octets +180‎ apparence annuler
• actudiff 14:2716 mars 2007 à 14:27‎ Julien1311 discussion contributions‎ m 27 560 octets 0‎ a renommé Transwiki:Fondements des mathématiques/Des preuves de cohérence en Fondements des mathématiques/Des preuves de cohérence annuler

25 décembre 2006

• actudiff 10:0025 décembre 2006 à 10:00‎ Chtit draco discussion contributions‎ m 27 560 octets 0‎ 6 revision(s) from b:Fondements des mathématiques/Des preuves de cohérence annuler

17 novembre 2006

• actudiff 14:5117 novembre 2006 à 14:51‎ imported>Tavernierbot‎ m 27 560 octets +21‎ Bot: Retouches cosmétiques annuler

29 octobre 2006

• actudiff 21:1029 octobre 2006 à 21:10‎ David Legrand discussion contributions‎ m 27 539 octets +379‎ Tentative de réunification des feuilles volantes annuler
• actudiff 21:0529 octobre 2006 à 21:05‎ David Legrand discussion contributions‎ m 27 160 octets 0‎ Fondements des mathématiques:Chapitre 6 déplacé vers Fondements des mathématiques/Des preuves de cohérence: Tentative de réunification des feuilles volantes annuler

29 juillet 2006

• actudiff 20:0429 juillet 2006 à 20:04‎ 83.204.81.119 discussion‎ 27 160 octets 0‎ →‎Comment prouver la vérité des axiomes ? annuler

20 avril 2005

• actudiff 17:5720 avril 2005 à 17:57‎ Guillaumito discussion contributions‎ m 27 160 octets +34‎ {{Fondements des mathématiques}} annuler

26 février 2005

• actudiff 19:1726 février 2005 à 19:17‎ Thierry Dugnolle discussion contributions‎ 27 126 octets +27 126‎ Création