« Récursivement énumérable » : historique des versions

20 avril 2024

• actudiff 10:0420 avril 2024 à 10:04‎ A3nm discuter contributions‎ m 14 476 octets +15‎ corr lien homon annuler

30 mai 2023

• actudiff 09:3130 mai 2023 à 09:31‎ Dianubv discuter contributions‎ 14 461 octets +12‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

5 avril 2022

• actudiff 22:005 avril 2022 à 22:00‎ SuperBalez discuter contributions‎ m 14 449 octets −3‎ syntaxe annuler Balise : Éditeur visuel

13 mars 2022

• actudiff 14:4813 mars 2022 à 14:48‎ Jean-Christophe BENOIST discuter contributions‎ m 14 452 octets −21‎ Révocation des modifications de 2A04:CEC0:10B2:9BE7:0:57:B907:C701 (retour à la dernière version de 2A02:8440:2411:1394:0:47:234B:4801) annuler Balise : Révocation
• actudiff 14:3013 mars 2022 à 14:30‎ 2a04:cec0:10b2:9be7:0:57:b907:c701 discuter‎ 14 473 octets +21‎ Cnvkvmdncldlvcjvjmsxnmnxvxvwvbbmxl'blkdgdndlsxmbvfvjcknvsxblkvcsmbccvnbbx'nbbxbgbcmnbcxjvdxkfkblbvdhfcjckcmxscvllbfdldn' annuler Balises : Révoqué Éditeur visuel Modification par mobile Modification par le web mobile

18 novembre 2021

• actudiff 15:5718 novembre 2021 à 15:57‎ 2a02:8440:2411:1394:0:47:234b:4801 discuter‎ 14 452 octets +1‎ Faute corrigée annuler Balises : Modification par mobile Modification par le web mobile

20 avril 2020

• actudiff 12:5220 avril 2020 à 12:52‎ Proz discuter contributions‎ 14 451 octets +366‎ →‎Équivalence des deux définitions de Turing : ce n'est non seulement pas facile mais pas possible en général (indécidable)+ patch annuler
• actudiff 12:1520 avril 2020 à 12:15‎ Proz discuter contributions‎ 14 085 octets −66‎ plus court annuler
• actudiff 12:1320 avril 2020 à 12:13‎ Proz discuter contributions‎ 14 151 octets +234‎ intro : sources pour les deux def. avec pages utiles pour comprendre que c'est bien une source (et à vérifier avec l'édition 1999) annuler
• actudiff 09:1920 avril 2020 à 09:19‎ Jean-Christophe BENOIST discuter contributions‎ 13 917 octets 0‎ Au départ, la ref était sur cette définition annuler
• actudiff 04:1420 avril 2020 à 04:14‎ Proz discuter contributions‎ 13 917 octets −523‎ →‎Quelques propriétés des ensembles récursivement énumérables : correction + wikipedia ne peut être une source pour wikipedia + dénué de sens sur l'inséparabilité annuler
• actudiff 03:5920 avril 2020 à 03:59‎ Proz discuter contributions‎ 14 440 octets −78‎ retour partiel en arrière il faut parler de sortie me semble-t-il (je ne sais pas si ça correspond à Delahaye) annuler
• actudiff 03:2320 avril 2020 à 03:23‎ Proz discuter contributions‎ 14 518 octets −743‎ →‎La définition de Smullyan de l'énumérabilité : ce ne sont pas des ref. admissibles : une vieille copie de l'article, un texte non fiable de la wikiversité annuler
• actudiff 02:1720 avril 2020 à 02:17‎ Proz discuter contributions‎ 15 261 octets −6‎ Je ne lis rien de tel dans Delahaye, mais la 1ère def. y est (à peu près) + rabibochage (je suppose que ça voulait être : image d'une fonction calculable annuler
• actudiff 01:5920 avril 2020 à 01:59‎ Proz discuter contributions‎ 15 267 octets −50‎ →‎Quelques propriétés des ensembles récursivement énumérables : non (pour donner un sens à l'équivalence des définitions affirmée en RI dans le cas des uples, éventuellement) annuler

10 mai 2019

• actudiff 13:2110 mai 2019 à 13:21‎ Guiguidu60 discuter contributions‎ m 15 317 octets +24‎ Ajout de la palette "informatique théorique" annuler Balise : Éditeur visuel

31 janvier 2019

• actudiff 18:4331 janvier 2019 à 18:43‎ شتيفان discuter contributions‎ 15 293 octets −22‎ Relecture de la page. annuler Balise : Éditeur visuel

13 janvier 2019

• actudiff 00:5513 janvier 2019 à 00:55‎ Fschwarzentruber discuter contributions‎ 15 315 octets +32‎ il y a beaucoup d'ouvrage de calculabilité qui présente cette notion. Il y a beaucoup de résultats où il faut rajouter les sources primaires (articles). annuler Balise : Éditeur visuel

12 janvier 2019

• actudiff 21:3112 janvier 2019 à 21:31‎ Bot de pluie discuter contributions‎ m 15 283 octets −4‎ Typographie : espace fautive dans parenthèses annuler Balise : AWB

27 décembre 2018

• actudiff 17:1127 décembre 2018 à 17:11‎ Fschwarzentruber discuter contributions‎ 15 287 octets −4‎ Aucun résumé des modifications annuler Balise : Éditeur visuel
• actudiff 17:0927 décembre 2018 à 17:09‎ Fschwarzentruber discuter contributions‎ 15 291 octets −58‎ au bout d'un temps infini => bof, trop compliqué annuler Balise : Éditeur visuel
• actudiff 12:4427 décembre 2018 à 12:44‎ Lomita discuter contributions‎ m 15 349 octets −11‎ v1.43 - Correction syntaxique (Titre de section en gras - Orthographe et typographie) annuler Balise : WPCleaner

26 décembre 2018

• actudiff 12:4326 décembre 2018 à 12:43‎ Jean-Christophe BENOIST discuter contributions‎ 15 360 octets −290‎ Définition non sourcée, ce qui empêche la vérification d'un certain nombre de points très obscurs dans cette définition. On parle de "mots" constitués d'"éléments" d'un ensemble puis on teste l'appartenance du mot à un ensemble (qui n'est pas le même, mais lequel ?) annuler
• actudiff 12:3226 décembre 2018 à 12:32‎ Lalber discuter contributions‎ 15 650 octets +2 071‎ modification de définition, ajout d'un sous paragraphe, ajout de lien annuler Balise : Éditeur visuel

5 novembre 2018

• actudiff 19:085 novembre 2018 à 19:08‎ Jean-Christophe BENOIST discuter contributions‎ 13 579 octets −33‎ /* La définition de Smullyan de l'énumérabilité{{Lien web|nom1=Dutoit|prénom1=Yann Picand, Dominique|titre=récursivement_énumérable : définition de récursivement_énumérable et synonymes de récursivement_énumérable (français)|url=http://dictionnaire.sensagent.leparisien.fr/récursivement_énumérable/fr-fr/#la_d.c3.a9finition_de_smullyan_de_l.27.c3.a9num.c3.a9rabilit.c3.a9|site=dictionnaire.sensagent.leparisien.fr|consulté le=2018-11-05}}{{Lien web|langue=fr|titre=Axiomes des théories des ensembl... annuler
• actudiff 19:045 novembre 2018 à 19:04‎ Lalber discuter contributions‎ 13 612 octets +1 542‎ mise en forme et complément de définition dans le paragraphe →‎L’ensemble des vérités atomiques de l’arithmétique formelle annuler Balise : Éditeur visuel

27 septembre 2017

• actudiff 11:1727 septembre 2017 à 11:17‎ ZéroBot discuter contributions‎ m 12 070 octets +16‎ Bot: Ajout du paramètre 'date' dans le modèle {{Section à sourcer}} annuler

25 avril 2017

• actudiff 16:2525 avril 2017 à 16:25‎ Jean-Christophe BENOIST discuter contributions‎ 12 054 octets +1‎ →‎Références annuler
• actudiff 16:2525 avril 2017 à 16:25‎ Jean-Christophe BENOIST discuter contributions‎ 12 053 octets +23‎ →‎La définition de Smullyan de l'énumérabilité annuler
• actudiff 13:0625 avril 2017 à 13:06‎ Jean-Christophe BENOIST discuter contributions‎ 12 030 octets −1 526‎ Suppression redite du RI annuler
• actudiff 12:1025 avril 2017 à 12:10‎ Jean-Christophe BENOIST discuter contributions‎ 13 556 octets +2‎ Aucun résumé des modifications annuler
• actudiff 11:4225 avril 2017 à 11:42‎ Jean-Christophe BENOIST discuter contributions‎ 13 554 octets −332‎ Simplification du RI, voir PdD annuler

22 mars 2017

• actudiff 20:2422 mars 2017 à 20:24‎ Dhatier discuter contributions‎ m 13 886 octets −1‎ →‎Introduction : orthographe annuler

8 mars 2017

• actudiff 03:188 mars 2017 à 03:18‎ VincentPalmieri discuter contributions‎ 13 887 octets +53‎ ajout : bandeau théorie des automates, des langages formels et des grammaires formelles annuler

10 décembre 2016

• actudiff 18:3010 décembre 2016 à 18:30‎ Slippingspy discuter contributions‎ 13 834 octets +19‎ Précision (on ne savait pas quels types d'objets contenait E). annuler

11 septembre 2016

• actudiff 12:1111 septembre 2016 à 12:11‎ Jean-Christophe BENOIST discuter contributions‎ 13 815 octets −5‎ Plus simplement annuler
• actudiff 11:1511 septembre 2016 à 11:15‎ Jean-Christophe BENOIST discuter contributions‎ 13 820 octets +163‎ Aucun résumé des modifications annuler

10 septembre 2016

• actudiff 15:0910 septembre 2016 à 15:09‎ Jean-Christophe BENOIST discuter contributions‎ 13 657 octets +43‎ Aucun résumé des modifications annuler
• actudiff 15:0710 septembre 2016 à 15:07‎ Jean-Christophe BENOIST discuter contributions‎ 13 614 octets +523‎ Compléments. Début de sourçage. annuler

19 juin 2016

• actudiff 04:2219 juin 2016 à 04:22‎ SniperMaské discuter contributions‎ m 13 091 octets +1‎ →‎Équivalence des deux définitions de Turing : typographie annuler
• actudiff 04:2119 juin 2016 à 04:21‎ SniperMaské discuter contributions‎ m 13 090 octets +4‎ →‎La définition de Turing de l'énumérabilité : typographie + nettoyage annuler
• actudiff 03:5019 juin 2016 à 03:50‎ SniperMaské discuter contributions‎ m 13 086 octets +61‎ wikif. + typographie annuler

29 novembre 2015

• actudiff 02:2029 novembre 2015 à 02:20‎ Mule hollandaise discuter contributions‎ 13 025 octets +25‎ Correction lien vers page homonymie annuler Balises : Modification par mobile Modification par le web mobile

11 février 2014

• actudiff 19:5711 février 2014 à 19:57‎ Anne Bauval discuter contributions‎ m 13 000 octets −62‎ →‎Références : modèle de source annuler
• actudiff 19:5111 février 2014 à 19:51‎ Anne Bauval discuter contributions‎ m 13 062 octets −14‎ →‎Références : mef annuler

12 mars 2013

• actudiff 16:5012 mars 2013 à 16:50‎ Addbot discuter contributions‎ m 13 076 octets −450‎ Retrait de 11 liens interlangues, désormais fournis par Wikidata sur la page d:q676835 annuler

25 février 2013

• actudiff 10:5625 février 2013 à 10:56‎ Roll-Morton discuter contributions‎ m 13 526 octets +1‎ retouche de la modification précédente... annuler
• actudiff 10:5625 février 2013 à 10:56‎ Roll-Morton discuter contributions‎ m 13 525 octets +163‎ RE : le nom en complexité annuler

6 février 2013

• actudiff 07:176 février 2013 à 07:17‎ ZéroBot discuter contributions‎ m 13 362 octets +28‎ r2.7.1) (robot Ajoute : ko:재귀 열거 집합 annuler

9 juin 2012

• actudiff 20:239 juin 2012 à 20:23‎ Sisqi discuter contributions‎ m 13 334 octets +41‎ WPCleaner v1.13 - Correction syntaxique - DEFAULTSORT nécessaire manquant annuler