Historique de la page

Page Discussion

Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle

1 août 2017

Crochet.david.bot
Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n)
m
15:05
+4

16 mai 2016

Crochet.david.bot
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...
m
16:33
+4

24 octobre 2012

Lydie Noria
catégorisation
04:33
−44

7 août 2012

Crochet.david.bot
Robot : Remplacement de texte automatisé (-(\{\{[cC]hapitre[^\}]*)\|\s*titre\s*=[^\n]*\s* +\1)
m
18:18
−77

3 août 2012

Lydie Noria
wikification
17:24
+196

25 juin 2012

5 février 2012

Crochet.david.bot
Robot : Remplacement de texte automatisé (-\b([Qq])ue ([AEIOUaeéèêiou]) +\1u'\2)
m
20:35
−3

27 décembre 2008

17 avril 2008

Crochet.david.bot
Bot : Remplacement de texte automatisé (-... +…); changement de type cosmétique
m
08:26
−1

20 décembre 2007

Sharayanan
typographie (20%) y'a probablement besoin de TeXifier tout ça
m
22:18
+1 942

9 août 2007

Crochet.david.bot
Bot : Remplacement de texte automatisé (-\b([Cc][’'])est +[àa] +dire\b +\1est-à-dire)
m
16:37

8 août 2007

Crochet.david.bot
Bot : Remplacement de texte automatisé (-oe +œ)
m
21:31

21 avril 2007

12 février 2007

imported>Tavernierbot
Robot : ajoute Catégorie:Fondements_des_mathématiques (livre)
m
22:02
+54

17 novembre 2006

imported>Tavernierbot
Bot: Retouches cosmétiques
m
14:51

29 octobre 2006

David Legrand
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
m
21:08

1 mars 2005

Thierry Dugnolle
Création
22:10
+10 148

Récupérée de « https://fr.wikiversity.org/wiki/Spécial:History/Fondements_des_mathématiques/Preuve_formelle_de_la_cohérence_de_l%27arithmétique_formelle »