« Système formel » : historique des versions

7 février 2024

• actudiff 18:567 février 2024 à 18:56‎ PIerre.Lescanne discuter contributions‎ 9 721 octets +45‎ →‎Cohérence : article détaillé annuler

16 novembre 2023

• actudiff 16:0216 novembre 2023 à 16:02‎ PIerre.Lescanne discuter contributions‎ 9 676 octets −8‎ Annulation de la modification de Resadan (d) liens triviaux qui n'ajoutent rien. Vandalisme annuler Balise : Annulation
• actudiff 02:1716 novembre 2023 à 02:17‎ Resadan discuter contributions‎ 9 684 octets +8‎ Fonctionnalité de suggestions de liens : 2 liens ajoutés. annuler Balises : Révoqué Éditeur visuel Modification par mobile Modification par le web mobile Tâche pour novices Suggéré : ajouter des liens

25 avril 2023

• actudiff 11:2325 avril 2023 à 11:23‎ Pautard discuter contributions‎ m 9 676 octets −1‎ étant donné annuler

30 mars 2022

• actudiff 17:4230 mars 2022 à 17:42‎ WikiCleanerBot discuter contributions‎ m 9 677 octets −6‎ v2.04b - Correction syntaxique (Espace insécable - Orthographe et typographie) annuler Balise : WPCleaner

20 juillet 2021

• actudiff 10:5620 juillet 2021 à 10:56‎ Guy6631 discuter contributions‎ m 9 683 octets +10‎ →‎Articles connexes annuler Balise : Éditeur de source 2017
• actudiff 10:5620 juillet 2021 à 10:56‎ Guy6631 discuter contributions‎ m 9 673 octets +19‎ →‎Articles connexes annuler Balise : Éditeur de source 2017
• actudiff 10:5520 juillet 2021 à 10:55‎ Guy6631 discuter contributions‎ m 9 654 octets +2‎ Aucun résumé des modifications annuler Balise : Éditeur de source 2017
• actudiff 10:5420 juillet 2021 à 10:54‎ Guy6631 discuter contributions‎ m 9 652 octets +30‎ wikif annuler Balise : Éditeur de source 2017

30 avril 2020

• actudiff 22:3230 avril 2020 à 22:32‎ Bot de pluie discuter contributions‎ m 9 622 octets +10‎ Mise en forme des dates avec insertion d'espaces insécables. annuler Balise : AWB

8 janvier 2020

• actudiff 11:018 janvier 2020 à 11:01‎ شتيفان discuter contributions‎ m 9 612 octets +65‎ →‎Sources annuler
• actudiff 11:008 janvier 2020 à 11:00‎ شتيفان discuter contributions‎ m 9 547 octets +69‎ Aucun résumé des modifications annuler

6 janvier 2020

• actudiff 14:536 janvier 2020 à 14:53‎ Seb501 discuter contributions‎ 9 478 octets +152‎ rectification source, j'ai pris le titre du paragraphe de la retranscription "Pensée axiomatique" pour le titre d'un ouvrage. Mes excuses. annuler Balise : Éditeur visuel

5 janvier 2020

• actudiff 23:125 janvier 2020 à 23:12‎ Seb501 discuter contributions‎ 9 326 octets +558‎ création d'une ébauche sur les systèmes formels en physique annuler Balise : Éditeur visuel

26 août 2018

• actudiff 13:0126 août 2018 à 13:01‎ 83.228.227.183 discuter‎ 8 768 octets +34‎ →‎Sources annuler
• actudiff 13:0126 août 2018 à 13:01‎ 83.228.227.183 discuter‎ 8 734 octets −5‎ →‎Les théories axiomatiques annuler

25 mars 2018

• actudiff 00:2225 mars 2018 à 00:22‎ 196.64.171.181 discuter‎ 8 739 octets −1‎ Aucun résumé des modifications annuler Balise : Éditeur visuel
• actudiff 00:2025 mars 2018 à 00:20‎ 196.64.171.181 discuter‎ 8 740 octets +1‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

5 novembre 2016

• actudiff 10:205 novembre 2016 à 10:20‎ Lregnier discuter contributions‎ 8 739 octets +135‎ →‎Systèmes formels en informatique : liens annuler
• actudiff 10:075 novembre 2016 à 10:07‎ Lregnier discuter contributions‎ 8 604 octets +4‎ Style, précision annuler

17 juin 2016

• actudiff 20:3517 juin 2016 à 20:35‎ SniperMaské discuter contributions‎ m 8 600 octets +19‎ syntaxe + typographie + wikif. annuler

6 mai 2016

• actudiff 22:016 mai 2016 à 22:01‎ 83.204.94.153 discuter‎ 8 581 octets −5‎ →‎Cohérence : Correction d'un contresens. annuler Balise : Éditeur visuel

22 mars 2016

• actudiff 12:0022 mars 2016 à 12:00‎ 78.223.236.80 discuter‎ 8 586 octets +102‎ →‎Exemples : rajout d'un exemple issu de la théorie axiomatique (pour montrer le lien et la nuance entre système formel et théorie axiomatique) annuler Balise : Éditeur visuel

18 décembre 2015

• actudiff 03:0618 décembre 2015 à 03:06‎ Wikipedist~frwiki discuter contributions‎ m 8 484 octets +5‎ →‎Cohérence : correction contre-sens annuler Balise : Éditeur visuel

19 août 2015

• actudiff 22:5919 août 2015 à 22:59‎ Speculos discuter contributions‎ 8 479 octets +1‎ correction annuler

26 décembre 2014

• actudiff 18:2826 décembre 2014 à 18:28‎ Dhatier discuter contributions‎ m 8 478 octets −1‎ ortho annuler

24 septembre 2013

• actudiff 06:4124 septembre 2013 à 06:41‎ WikiCleanerBot discuter contributions‎ m 8 479 octets +31‎ WPCleaner v1.29b - Bistrot 18/09 - Correction syntaxique - DEFAULTSORT nécessaire manquant annuler

12 mars 2013

• actudiff 20:0912 mars 2013 à 20:09‎ Addbot discuter contributions‎ m 8 448 octets −633‎ Retrait de 23 liens interlangues, désormais fournis par Wikidata sur la page d:q649732 annuler

23 janvier 2013

• actudiff 14:4023 janvier 2013 à 14:40‎ MerlIwBot discuter contributions‎ m 9 081 octets +41‎ robot Ajoute : he:פורמליזם (מתמטיקה) annuler

13 juin 2012

• actudiff 19:0413 juin 2012 à 19:04‎ EmausBot discuter contributions‎ m 9 040 octets +47‎ r2.7.3) (robot Ajoute : ky:Аксиоматикалык метод annuler

15 mai 2012

• actudiff 07:2015 mai 2012 à 07:20‎ Ji-Elle discuter contributions‎ m 8 993 octets +41‎ Ajout rapide de {{portail}} : + mathématiques , + informatique ; avec BandeauxPortails annuler

6 mai 2012

• actudiff 09:286 mai 2012 à 09:28‎ Justincheng12345-bot discuter contributions‎ m 8 952 octets +23‎ r2.7.3) (robot Ajoute : nl:Formeel systeem annuler

3 novembre 2011

• actudiff 22:003 novembre 2011 à 22:00‎ Rabatakeu discuter contributions‎ m 8 929 octets 0‎ Orthographe annuler
• actudiff 21:593 novembre 2011 à 21:59‎ Rabatakeu discuter contributions‎ m 8 929 octets 0‎ Orthographe annuler

8 octobre 2011

• actudiff 11:378 octobre 2011 à 11:37‎ Lregnier discuter contributions‎ m 8 929 octets +89‎ →‎Systèmes formels en logique : article détaillé annuler

5 octobre 2011

• actudiff 21:195 octobre 2011 à 21:19‎ Lregnier discuter contributions‎ 8 840 octets +2 444‎ Systèmes formels en informatique annuler
• actudiff 20:335 octobre 2011 à 20:33‎ Lregnier discuter contributions‎ m 6 396 octets +9‎ table des matières annuler
• actudiff 20:325 octobre 2011 à 20:32‎ Lregnier discuter contributions‎ 6 387 octets +9‎ →‎Problèmes généraux : renommage de la section, ortografe annuler

2 octobre 2011

• actudiff 22:592 octobre 2011 à 22:59‎ Lregnier discuter contributions‎ m 6 378 octets −8‎ style annuler
• actudiff 22:582 octobre 2011 à 22:58‎ Lregnier discuter contributions‎ m 6 386 octets +8‎ →‎Les théories axiomatiques : article détaillé annuler
• actudiff 22:542 octobre 2011 à 22:54‎ Lregnier discuter contributions‎ 6 378 octets −1 203‎ →‎L’énumérabilité des théories axiomatiques : reprise annuler
• actudiff 22:292 octobre 2011 à 22:29‎ Lregnier discuter contributions‎ 7 581 octets +95‎ →‎Les théories axiomatiques : reprise annuler
• actudiff 22:112 octobre 2011 à 22:11‎ Lregnier discuter contributions‎ m 7 486 octets +4‎ →‎Problèmes généraux : lien annuler
• actudiff 22:102 octobre 2011 à 22:10‎ Lregnier discuter contributions‎ 7 482 octets +373‎ Reprise de la section ''Problèmes généraux'' annuler
• actudiff 19:322 octobre 2011 à 19:32‎ Lregnier discuter contributions‎ 7 109 octets +542‎ reprise de l'introduction annuler

24 août 2011

• actudiff 16:2624 août 2011 à 16:26‎ KamikazeBot discuter contributions‎ m 6 567 octets +24‎ r2.7.1) (robot Ajoute: hu:Logikai kalkulus annuler

15 juillet 2011

• actudiff 03:1315 juillet 2011 à 03:13‎ ChuispastonBot discuter contributions‎ m 6 543 octets +60‎ r2.7.1) (robot Ajoute: ar, sr Modifie: ru, zh annuler

12 juillet 2011

• actudiff 04:1612 juillet 2011 à 04:16‎ MerlIwBot discuter contributions‎ m 6 483 octets +242‎ robot Ajoute: sq:Sistemi formal,pl:System formalny,fa:سیستم صوری,ro:Sistem axiomatic,mk:Формален систем,ca:Sistema formal,uk:Формальна система,sv,it annuler

25 mai 2011

• actudiff 17:0725 mai 2011 à 17:07‎ 81.57.19.62 discuter‎ 6 241 octets +256‎ Changement de la dernière phrase faisant allusion au théorème d'incomplétude de Gödel : il n'est pas question de propositions vraies mais indémontrables dans le théorème mais de preuve de cohérence annuler

22 février 2010

• actudiff 19:1322 février 2010 à 19:13‎ Outs discuter contributions‎ 5 985 octets −20‎ →‎Exemples : corr lien annuler