« Problème de la décision » : historique des versions

27 avril 2024

• actudiff 01:1627 avril 2024 à 01:16‎ Jean Abou Samra discuter contributions‎ m 7 725 octets +38‎ Confusion avec problème de décision annuler

22 avril 2023

• actudiff 15:3822 avril 2023 à 15:38‎ Thinte discuter contributions‎ 7 687 octets +12‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

11 mars 2021

• actudiff 11:4811 mars 2021 à 11:48‎ JohnNewton8 discuter contributions‎ m 7 675 octets −2‎ Révocation des modifications de 193.251.23.69 (retour à la dernière version de Mastergreg82) annuler Balise : Révocation
• actudiff 11:4611 mars 2021 à 11:46‎ 193.251.23.69 discuter‎ 7 677 octets +2‎ Aucun résumé des modifications annuler Balise : Révoqué

8 février 2021

• actudiff 14:358 février 2021 à 14:35‎ Mastergreg82 discuter contributions‎ m 7 675 octets +1‎ →‎Exemple : arithmétique de Peano annuler Balise : Éditeur visuel

5 janvier 2021

• actudiff 13:365 janvier 2021 à 13:36‎ Maëlan discuter contributions‎ 7 674 octets +82‎ →‎Introduction : nom originel allemand annuler

20 novembre 2019

• actudiff 16:3520 novembre 2019 à 16:35‎ Epsilon0 discuter contributions‎ 7 592 octets −6‎ C'est bien une équivalence, ce n'est que lorsque la liste des axiomes est infinie que la conjonction des axiomes nous amène dans une autre théorie car relevant d'une autre type de logique, la Logique infinitaire annuler

19 novembre 2019

• actudiff 22:1919 novembre 2019 à 22:19‎ Gaétan Lui Même discuter contributions‎ 7 598 octets +9‎ →‎Alonzo Church : voulait-on dire "si et seulement si"? annuler

7 mai 2019

• actudiff 20:297 mai 2019 à 20:29‎ Vincent Lextrait discuter contributions‎ m 7 589 octets −1‎ →‎Histoire annuler
• actudiff 20:287 mai 2019 à 20:28‎ Vincent Lextrait discuter contributions‎ m 7 590 octets −2‎ Aucun résumé des modifications annuler

9 février 2019

• actudiff 02:479 février 2019 à 02:47‎ Bot2Friday discuter contributions‎ m 7 592 octets −22‎ v2.0b - Correction syntaxique (Lien interne avec cible identique au texte) annuler Balise : WPCleaner

8 février 2019

• actudiff 20:088 février 2019 à 20:08‎ Fschwarzentruber discuter contributions‎ 7 614 octets +26‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

7 février 2019

• actudiff 20:227 février 2019 à 20:22‎ شتيفان discuter contributions‎ m 7 588 octets +22‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

16 janvier 2019

• actudiff 17:3516 janvier 2019 à 17:35‎ Jdefossez discuter contributions‎ m 7 566 octets +169‎ ajout dans le paragraphe histoire annuler Balise : Éditeur visuel

14 janvier 2019

• actudiff 15:3714 janvier 2019 à 15:37‎ Epperly discuter contributions‎ 7 397 octets +39‎ Ajout référence annuler Balise : Éditeur visuel

13 janvier 2019

• actudiff 21:0413 janvier 2019 à 21:04‎ Proz discuter contributions‎ 7 358 octets +68‎ reformulation ("un" problème de décision) + relecture annuler
• actudiff 18:1513 janvier 2019 à 18:15‎ Phocéane discuter contributions‎ m 7 290 octets +93‎ Ajout d'une précision qui avait été mentionnée sur la discussion mais pas dans la page et qui aide à la compréhension de la différence entre le problème de décision et le problème de la décision annuler

6 janvier 2019

• actudiff 18:176 janvier 2019 à 18:17‎ Actualités du jour discuter contributions‎ m 7 197 octets +6‎ →‎Exemple : arithmétique de Peano annuler

9 novembre 2018

• actudiff 09:239 novembre 2018 à 09:23‎ WikiCleanerBot discuter contributions‎ m 7 191 octets −1‎ v2.0 - Correction syntaxique (Balise HTML <u> de soulignement - Titre de section terminé par deux-points - Titre : sous-section avant la première section) annuler Balise : WPCleaner
• actudiff 04:219 novembre 2018 à 04:21‎ Framabot discuter contributions‎ m 7 192 octets −23‎ v1.43b - Correction syntaxique (Lien interne avec cible identique au texte) annuler Balise : WPCleaner

8 novembre 2018

• actudiff 18:148 novembre 2018 à 18:14‎ Epperly discuter contributions‎ m 7 215 octets +24‎ oublie parenthèse annuler Balise : Éditeur visuel
• actudiff 18:118 novembre 2018 à 18:11‎ Epperly discuter contributions‎ m 7 191 octets −485‎ mise en forme en plusieurs sous paragraphes, réorganisation des données, aucune suppression de donnée vitale et ajout de liens annuler Balise : Éditeur visuel

28 février 2018

• actudiff 13:5328 février 2018 à 13:53‎ Mywiz discuter contributions‎ m 7 676 octets −2‎ corrections mineures annuler

29 mai 2016

• actudiff 18:1529 mai 2016 à 18:15‎ SniperMaské discuter contributions‎ m 7 678 octets +11‎ mise en page annuler
• actudiff 18:1129 mai 2016 à 18:11‎ SniperMaské discuter contributions‎ m 7 667 octets −1‎ syntaxe annuler
• actudiff 18:1029 mai 2016 à 18:10‎ SniperMaské discuter contributions‎ m 7 668 octets +50‎ orth. + syntaxe + typographie + wikif. + mise en page + nettoyage annuler

1 juillet 2014

• actudiff 16:451 juillet 2014 à 16:45‎ Roll-Morton discuter contributions‎ m 7 618 octets +11‎ Changement rapide de {{portail}} : - Informatique , + informatique théorique ; avec BandeauxPortails annuler

23 décembre 2013

• actudiff 23:2123 décembre 2013 à 23:21‎ Hercule discuter contributions‎ 7 607 octets +1 045‎ Aucun résumé des modifications annuler

19 avril 2013

• actudiff 18:4419 avril 2013 à 18:44‎ Proz discuter contributions‎ 6 562 octets −78‎ ce n'est pas le premier th. d'incomplétude annuler

15 avril 2013

• actudiff 09:2515 avril 2013 à 09:25‎ Addbot discuter contributions‎ m 6 640 octets −416‎ Retrait de 13 liens interlangues, désormais fournis par Wikidata sur la page d:q11030584 annuler

13 mars 2013

• actudiff 20:0313 mars 2013 à 20:03‎ Zawer discuter contributions‎ m 7 056 octets +1‎ orthographe annuler

30 octobre 2012

• actudiff 16:3230 octobre 2012 à 16:32‎ MicroCitron discuter contributions‎ 7 055 octets −1‎ Aucun résumé des modifications annuler

10 août 2012

• actudiff 10:1210 août 2012 à 10:12‎ Stéphane33 discuter contributions‎ 7 056 octets −8‎ Typo annuler

8 août 2012

• actudiff 18:208 août 2012 à 18:20‎ TomT0m discuter contributions‎ m 7 064 octets −88‎ →‎Articles originaux : retouche de la modification précédente annuler
• actudiff 18:148 août 2012 à 18:14‎ TomT0m discuter contributions‎ m 7 152 octets −326‎ Accessibiltié (cf. Wikipedia:Atelier accessibilité) & références (remplacement par des modèles utilisés ailleurs annuler

29 juin 2012

• actudiff 18:0329 juin 2012 à 18:03‎ EmausBot discuter contributions‎ m 7 478 octets +30‎ r2.7.2+) (robot Ajoute : sv:Avgörbarhetsproblemet annuler

21 juin 2011

• actudiff 14:4821 juin 2011 à 14:48‎ EmausBot discuter contributions‎ m 7 448 octets −8‎ r2.6.4) (robot Modifie: ar:مشكلة القرار (رياضيات) annuler

5 juin 2011

• actudiff 18:435 juin 2011 à 18:43‎ Speculos discuter contributions‎ m 7 456 octets −28‎ -interwiki en double (détection P:CS) annuler

4 juin 2011

• actudiff 11:164 juin 2011 à 11:16‎ Proz discuter contributions‎ m 7 484 octets +280‎ →‎Articles originaux : interwikis de en, quelques uns vérifiés annuler
• actudiff 10:544 juin 2011 à 10:54‎ Proz discuter contributions‎ m 7 204 octets −28‎ interwiki d'ensemble récursif annuler
• actudiff 10:474 juin 2011 à 10:47‎ Proz discuter contributions‎ 7 232 octets −353‎ Révocation des modifications par MerlIwBot : c'est bien le Entscheidungsproblem (Hilbert) annuler

3 juin 2011

• actudiff 23:523 juin 2011 à 23:52‎ MerlIwBot discuter contributions‎ m 7 585 octets +353‎ robot Ajoute: zh, pl, ru, ko, sr, kn, uk, ja, hr, sv, nl Modifie: en:Decision problem,es:Problema de decisión,pt:Problema de decisão annuler

15 mai 2011

• actudiff 23:2415 mai 2011 à 23:24‎ Anne Bauval discuter contributions‎ m 7 232 octets −64‎ →‎En Français : mef annuler

24 février 2011

• actudiff 02:1924 février 2011 à 02:19‎ ZetudBot discuter contributions‎ m 7 296 octets +2‎ →‎Références : Orth., replaced: ==References== → ==Références== annuler

15 mars 2010

• actudiff 14:0715 mars 2010 à 14:07‎ Oyp discuter contributions‎ m 7 294 octets −17‎ lien annuler
• actudiff 14:0615 mars 2010 à 14:06‎ Oyp discuter contributions‎ m 7 311 octets −21‎ lien annuler

16 février 2010

• actudiff 15:3816 février 2010 à 15:38‎ Léna discuter contributions‎ m 7 332 octets +8‎ Ajout rapide de {{portail}} : + Logique ; avec BandeauxPortails annuler
• actudiff 15:3816 février 2010 à 15:38‎ Léna discuter contributions‎ m 7 324 octets +13‎ Ajout rapide de {{portail}} : + Informatique ; avec BandeauxPortails annuler
• actudiff 15:3816 février 2010 à 15:38‎ Léna discuter contributions‎ m 7 311 octets +1‎ Changement rapide de {{portail}} : - Mathématique , + Mathématiques ; avec BandeauxPortails annuler
• actudiff 15:3816 février 2010 à 15:38‎ Léna discuter contributions‎ m 7 310 octets +27‎ Ajout rapide de {{portail}} : + Mathématique ; avec BandeauxPortails annuler