Historique de la page
1 août 2018
1 août 2017
19 septembre 2014
15 février 2013
23 décembre 2012
24 octobre 2012
7 août 2012
3 août 2012
25 juin 2012
8 mai 2012
3 mars 2012
17 septembre 2011
12 août 2011
26 avril 2011
9 juin 2010
30 décembre 2009
18 août 2009
2 juin 2009
23 février 2009
27 décembre 2008
17 novembre 2008
→A quoi servent les méthodes formelles ? : Orth., Format siècle
+3
Orth., Typo., typos fixed: 19ème siècle → {{s-|{{subst:Nombre en romain|19|subst=subst:}}|e}}
m−2
10 juillet 2008
17 septembre 2007
23 août 2007
10 août 2007
Bot : Remplacement de texte automatisé (-\. A +. À )
m+2
Bot : Remplacement de texte automatisé (-(?<=[^0-9 ]) *, *(?!\s) +, )
m+1
9 août 2007
Bot : Remplacement de texte automatisé (-\b(d|D)(é|e|è)j(a|à)\b +\1éjà)
mBot : Remplacement de texte automatisé (-\b([Cc][’'])est +[àa] +dire\b +\1est-à-dire)
m
8 août 2007
28 avril 2007
21 avril 2007
→La cohérence des théories des ensembles finitaires : lien
m+11
→Une preuve formelle de la cohérence de l’arithmétique formelle : lien
m+11
lien
m+11
→Une preuve naturelle de la cohérence de l’arithmétique formelle : lien
m+9
modèle
m−6
16 mars 2007
apparence
m+180
a renommé Transwiki:Fondements des mathématiques/Des preuves de cohérence en Fondements des mathématiques/Des preuves de cohérence
m
25 décembre 2006
17 novembre 2006
29 octobre 2006
Tentative de réunification des feuilles volantes
m+379
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
m