« Théorie axiomatique » : historique des versions

19 mai 2024

• actudiff 01:4319 mai 2024 à 01:43‎ Proz discuter contributions‎ 18 434 octets −44‎ précisé annuler

31 octobre 2023

• actudiff 10:5631 octobre 2023 à 10:56‎ Cbyd discuter contributions‎ 18 478 octets +4‎ →‎Les théorèmes d'une théorie récursivement axiomatisable : LI The Journal of Philosophy annuler

1 juin 2023

• actudiff 15:591 juin 2023 à 15:59‎ P141592653 discuter contributions‎ 18 474 octets +59‎ Contenu évasif annuler

22 août 2019

• actudiff 16:2422 août 2019 à 16:24‎ 146.122.203.38 discuter‎ 18 415 octets +73‎ →‎Complétude et décidabilité annuler

9 décembre 2018

• actudiff 17:549 décembre 2018 à 17:54‎ Texvc2LaTeXBot discuter contributions‎ m 18 342 octets +6‎ Bot: Mise à jour des codes texvc par des équivalentes LaTeX (documentation) annuler

19 mars 2018

• actudiff 13:2419 mars 2018 à 13:24‎ SniperMaské discuter contributions‎ m 18 336 octets +2‎ →‎Définitions : syntaxe annuler
• actudiff 13:2319 mars 2018 à 13:23‎ SniperMaské discuter contributions‎ m 18 334 octets 0‎ →‎Définitions : gram. annuler

10 août 2016

• actudiff 18:2210 août 2016 à 18:22‎ SniperMaské discuter contributions‎ m 18 334 octets −1‎ →‎Définitions : syntaxe annuler
• actudiff 18:2110 août 2016 à 18:21‎ SniperMaské discuter contributions‎ m 18 335 octets +26‎ typographie + wikif. annuler

18 octobre 2015

• actudiff 14:2818 octobre 2015 à 14:28‎ Khwartz discuter contributions‎ m 18 309 octets +4‎ →‎Définitions : ajout d'un lien hypertexte vers un autre article de Wikipedia annuler Balise : Éditeur visuel

13 avril 2015

• actudiff 00:0513 avril 2015 à 00:05‎ Ldionne92 discuter contributions‎ m 18 305 octets +1‎ →‎Théorie récursivement axiomatisable : Fix typo: "théorie de corps" -> "théorie des corps" annuler Balise : Éditeur visuel

8 novembre 2014

• actudiff 13:168 novembre 2014 à 13:16‎ Roudoudou28 discuter contributions‎ 18 304 octets +1‎ c'est qui ''on'' ? annuler
• actudiff 12:368 novembre 2014 à 12:36‎ Proz discuter contributions‎ 18 303 octets −15‎ Mais non, la première phrase ne veut plus rien dire, cet acharnement est contre-productif annuler
• actudiff 12:278 novembre 2014 à 12:27‎ Roudoudou28 discuter contributions‎ m 18 318 octets +15‎ style annuler
• actudiff 12:078 novembre 2014 à 12:07‎ Proz discuter contributions‎ 18 303 octets −4‎ Annulation des modifications de Roudoudou28 (retour à la précédente version de Anne Bauval) Bru annuler
• actudiff 11:328 novembre 2014 à 11:32‎ Roudoudou28 discuter contributions‎ 18 307 octets +4‎ Annulation des modifications 108942019 de Anne Bauval (d) annuler
• actudiff 11:258 novembre 2014 à 11:25‎ Anne Bauval discuter contributions‎ m 18 303 octets −4‎ Annulation des modifications 108941777 de Roudoudou28 (d) plus fluide annuler
• actudiff 11:138 novembre 2014 à 11:13‎ Roudoudou28 discuter contributions‎ 18 307 octets +4‎ Aucun résumé des modifications annuler
• actudiff 11:058 novembre 2014 à 11:05‎ Anne Bauval discuter contributions‎ m 18 303 octets +4‎ complément de réparation annuler
• actudiff 09:548 novembre 2014 à 09:54‎ Proz discuter contributions‎ 18 299 octets +15‎ améliorable, mais mieux vaut comprendre pour ce genre de modif ... annuler

7 novembre 2014

• actudiff 21:197 novembre 2014 à 21:19‎ Roudoudou28 discuter contributions‎ m 18 284 octets −10‎ Aucun résumé des modifications annuler

2 mai 2014

• actudiff 17:092 mai 2014 à 17:09‎ Proz discuter contributions‎ 18 294 octets +208‎ liens + détail annuler
• actudiff 16:382 mai 2014 à 16:38‎ Proz discuter contributions‎ 18 086 octets +65‎ →‎Les théorèmes d'une théorie récursivement axiomatisable : plsu prudent + complément annuler
• actudiff 16:272 mai 2014 à 16:27‎ Proz discuter contributions‎ 18 021 octets +34‎ + section ref. annuler
• actudiff 16:252 mai 2014 à 16:25‎ Proz discuter contributions‎ 17 987 octets +509‎ →‎Les théorèmes d'une théorie récursivement axiomatisable : ref. Craig Putnam annuler
• actudiff 15:582 mai 2014 à 15:58‎ Proz discuter contributions‎ 17 478 octets +102‎ →‎Complétude et décidabilité : gras inutile + lien annuler
• actudiff 15:442 mai 2014 à 15:44‎ Proz discuter contributions‎ m 17 376 octets −2‎ →‎Les théorèmes d'une théorie récursivement axiomatisable : gras inutile annuler
• actudiff 15:432 mai 2014 à 15:43‎ Proz discuter contributions‎ 17 378 octets +296‎ →‎Les théorèmes d'une théorie récursivement axiomatisable : croissance plus explicite annuler
• actudiff 12:432 mai 2014 à 12:43‎ Anne Bauval discuter contributions‎ m 17 082 octets −59‎ →‎Voir aussi : scories annuler

16 avril 2014

• actudiff 21:1416 avril 2014 à 21:14‎ Anne Bauval discuter contributions‎ m 17 141 octets +51‎ →‎Théorie récursivement axiomatisable : résol homon Fonction caractéristique annuler

27 mars 2014

• actudiff 12:0227 mars 2014 à 12:02‎ Bécassin discuter contributions‎ 17 090 octets +7‎ →‎Définitions : levée de l'ambiguité sur "que" dans la phrase "...d'un système d'axiomes que l'on puisse ..." annuler

14 octobre 2013

• actudiff 23:5814 octobre 2013 à 23:58‎ Cm8 discuter contributions‎ 17 083 octets −79‎ dbles espaces, typo et style (bcp de "par exemple") annuler

24 septembre 2013

• actudiff 09:0124 septembre 2013 à 09:01‎ WikiCleanerBot discuter contributions‎ m 17 162 octets +36‎ WPCleaner v1.29b - Bistrot 18/09 - Correction syntaxique - DEFAULTSORT nécessaire manquant annuler

11 septembre 2013

• actudiff 00:0011 septembre 2013 à 00:00‎ Proz discuter contributions‎ 17 126 octets +308‎ →‎Définitions : inutile (cf. pdd) annuler

2 avril 2013

• actudiff 20:312 avril 2013 à 20:31‎ Addbot discuter contributions‎ m 16 818 octets −26‎ Retrait de 1 liens interlangues, désormais fournis par Wikidata sur la page d:q9295456 annuler

23 janvier 2013

• actudiff 09:1323 janvier 2013 à 09:13‎ MerlIwBot discuter contributions‎ m 16 844 octets −383‎ robot Retire : zh,es,af,ms,uk,it,gl,de,id,bn,bg,hr,nl (strongly connected to fr:Axiomatisation) annuler

10 novembre 2012

• actudiff 23:5810 novembre 2012 à 23:58‎ Automatik discuter contributions‎ m 17 227 octets −4‎ Aucun résumé des modifications annuler
• actudiff 23:5710 novembre 2012 à 23:57‎ Automatik discuter contributions‎ m 17 231 octets −38‎ Aucun résumé des modifications annuler

9 novembre 2012

• actudiff 02:289 novembre 2012 à 02:28‎ Proz discuter contributions‎ 17 269 octets +405‎ interwikis annuler

26 octobre 2012

• actudiff 19:1926 octobre 2012 à 19:19‎ Proz discuter contributions‎ 16 864 octets +2‎ Révocation des modifications par 193.55.96.160 ; retour à la version de Sarpita annuler
• actudiff 16:3326 octobre 2012 à 16:33‎ 193.55.96.160 discuter‎ 16 862 octets −2‎ Aucun résumé des modifications annuler

30 septembre 2012

• actudiff 18:4830 septembre 2012 à 18:48‎ Maxtor444 discuter contributions‎ m 16 864 octets +1‎ Ajout d'une virgule manquante. annuler

17 août 2012

• actudiff 22:4117 août 2012 à 22:41‎ Lomita discuter contributions‎ m 16 863 octets −24‎ Orthographe, replaced: comme par exemple → comme (2) using AWB annuler

23 juin 2012

• actudiff 10:0323 juin 2012 à 10:03‎ Bap discuter contributions‎ m 16 887 octets +80‎ typographie annuler

20 juin 2012

• actudiff 15:0220 juin 2012 à 15:02‎ Overkilled discuter contributions‎ m 16 807 octets +1‎ →‎Théorie récursivement axiomatisable : orthographe (la théorie) annuler

15 mai 2011

• actudiff 23:2715 mai 2011 à 23:27‎ Anne Bauval discuter contributions‎ m 16 806 octets −76‎ →‎Bibliographie : mef annuler

1 décembre 2010

• actudiff 01:481 décembre 2010 à 01:48‎ Gonzalcg discuter contributions‎ m 16 882 octets +27‎ Aucun résumé des modifications annuler

30 octobre 2010

• actudiff 00:4230 octobre 2010 à 00:42‎ Akiry discuter contributions‎ m 16 855 octets +28‎ Ajout rapide de {{portail}} : + mathématiques ; avec BandeauxPortails annuler

7 octobre 2010

• actudiff 23:507 octobre 2010 à 23:50‎ Michel421 discuter contributions‎ 16 827 octets −19‎ →‎Les théorèmes d'une théorie récursivement axiomatisable : dépersonnalisation annuler

16 mars 2010

• actudiff 11:1816 mars 2010 à 11:18‎ Epsilon0 discuter contributions‎ 16 846 octets −1‎ Ah tiens, il y a 2 manières qui ne donnent pas le même rendu de fermer une balise small annuler