Discuter:Récursivement énumérable

Un article de Wikipédia, l'encyclopédie libre.

	Récursivement énumérable fait partie du projet Informatique, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés à l'informatique. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail informatique pourrait aussi vous intéresser.
À évaluer	Cet article a été classé comme d'Avancement ? selon le Tableau d'évaluation du projet. (Voir les statistiques)
À évaluer	Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet. (Contester?)

[modifier] Titre

A mon avis, ce titre, qui est un adjectif, n'est pas acceptable. Spedona 18 déc 2004 à 19:44 (CET)

réponse 3 ans et demi après : ensemble récursivement énumérable (inverser les deux) est peut-être mieux ?

[modifier] Définition de Smullyan

J'ai un peu de mal à lire ce paragraphe, le vocabulaire n'esst pas très standard, je ne vois pas où sont définis précisément les termes (objet, opérateurs, prédicats fondamentaux). s'agit-il toujours d'entiers par ex. ? Il vaudrait mieux un article clair sur les systèmes de Post il me semble. S'il faut reprendre cet article (il y a à faire), je ferais bien disparaître le paragraphe. Proz (d) 24 mai 2008 à 15:18 (CEST)