« Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle » : historique des versions

Outils externes et statistiques

Légende : (actu) = différence avec la version actuelle, (diff) = différence avec la version précédente, m = modification mineure.
Coloration avec DeluxeHistory : rose = IP, bleu = utilisateur, jaune = administrateur, vert = bot.

actudiff 15:051 août 2017 à 15:05‎ Crochet.david.bot discussion contributions‎ m 11 637 octets +4‎ Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n) annuler

actudiff 16:3316 mai 2016 à 16:33‎ Crochet.david.bot discussion contributions‎ m 11 633 octets +4‎ Robot : Remplacement de texte automatisé (- l'opposition + l’opposition , - d'asile + d’asile , - s'adresser + s’adresser , - l'ensemble + l’ensemble , - d'argent + d’argent , - l'argent + l’argent , - l'augmentation + l’augmentat... annuler

actudiff 04:3324 octobre 2012 à 04:33‎ Lydie Noria discussion contributions‎ 11 629 octets −44‎ catégorisation annuler

actudiff 18:187 août 2012 à 18:18‎ Crochet.david.bot discussion contributions‎ m 11 673 octets −77‎ Robot : Remplacement de texte automatisé (-(\{\{[cC]hapitre[^\}]*)\|\s*titre\s*=[^\n]*\s* +\1) annuler

actudiff 17:243 août 2012 à 17:24‎ Lydie Noria discussion contributions‎ 11 750 octets +196‎ wikification annuler

actudiff 07:0325 juin 2012 à 07:03‎ Lydie Noria discussion contributions‎ 11 554 octets +289‎ wikification annuler
actudiff 06:3725 juin 2012 à 06:37‎ Lydie Noria discussion contributions‎ m 11 265 octets 0‎ Lydie Noria a déplacé la page Fondements des mathématiques/Des preuves de cohérence/Preuve formelle de la cohérence de l'arithmétique formelle vers Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle... annuler

actudiff 20:355 février 2012 à 20:35‎ Crochet.david.bot discussion contributions‎ m 11 265 octets −3‎ Robot : Remplacement de texte automatisé (-\b([Qq])ue ([AEIOUaeéèêiou]) +\1u'\2) annuler

actudiff 08:2617 avril 2008 à 08:26‎ Crochet.david.bot discussion contributions‎ m 12 135 octets −1‎ Bot : Remplacement de texte automatisé (-... +…); changement de type cosmétique annuler

actudiff 22:1820 décembre 2007 à 22:18‎ Sharayanan discussion contributions‎ m 12 136 octets +1 942‎ typographie (20%) y'a probablement besoin de TeXifier tout ça annuler

actudiff 16:379 août 2007 à 16:37‎ Crochet.david.bot discussion contributions‎ m 10 194 octets 0‎ Bot : Remplacement de texte automatisé (-\b([Cc][’'])est +[àa] +dire\b +\1est-à-dire) annuler

actudiff 21:318 août 2007 à 21:31‎ Crochet.david.bot discussion contributions‎ m 10 194 octets 0‎ Bot : Remplacement de texte automatisé (-oe +œ) annuler

actudiff 21:1621 avril 2007 à 21:16‎ Julien1311 discussion contributions‎ m 10 194 octets −8‎ cat annuler
actudiff 21:1621 avril 2007 à 21:16‎ Julien1311 discussion contributions‎ m 10 202 octets 0‎ 4 version(s) depuis b:Fondements des mathématiques/Des preuves de cohérence/Preuve formelle de la cohérence de l'arithmétique formelle annuler

actudiff 22:0212 février 2007 à 22:02‎ imported>Tavernierbot‎ m 10 202 octets +54‎ Robot : ajoute Catégorie:Fondements_des_mathématiques (livre) annuler

actudiff 14:5117 novembre 2006 à 14:51‎ imported>Tavernierbot‎ m 10 148 octets 0‎ Bot: Retouches cosmétiques annuler

actudiff 21:0829 octobre 2006 à 21:08‎ David Legrand discussion contributions‎ m 10 148 octets 0‎ Fondements des mathématiques : une preuve formelle de la cohérence de l'arithmétique formelle déplacé vers Fondements des mathématiques/Des preuves de cohérence/Preuve formelle de la cohérence de l'arithmétique formelle: Tentative de réu annuler

actudiff 22:101 mars 2005 à 22:10‎ Thierry Dugnolle discussion contributions‎ 10 148 octets +10 148‎ Création

« Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle » : historique des versions

1 août 2017

16 mai 2016

24 octobre 2012

7 août 2012

3 août 2012

25 juin 2012

5 février 2012

27 décembre 2008

17 avril 2008

20 décembre 2007

9 août 2007

8 août 2007

21 avril 2007

12 février 2007

17 novembre 2006

29 octobre 2006

1 mars 2005

« Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle » : historique des versions