Discuter:Théorème de Tarski
Un article de Wikipédia, l'encyclopédie libre.
 |
Théorème de Tarski fait partie du projet Mathématiques, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés aux mathématiques. 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 Mathématiques 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. |
Peut-être faudrait-il introduire et énoncer le théorème, avant de se lancer dans la démonstration avec "Il s'agit d'énoncer et de prouver le théorème d'incomplétude de Tarski" ? Je pense que l'article pourrait être mieux présenté ;)
--Aldoo / ✉ 25 fev 2005 à 10:19 (CET)
- Ton avis m'a semblé juste. J'ai essayé d'améliorer.--Thierry Dugnolle 26 fev 2005 à 01:03 (CET)
[modifier] Renommage
Je crains qu'il n'y ait qu'ici (et dans les copies qui se sont répandues) que ce théorème soit appelé "d'incomplétude". Habituellement en français "Théorème de Tarski", ce qui certes est un peu court, mais habituellement il s'agit bien de celui-ci. Incomplétude n'est pas vraiment adéquat. En anglais, "Undefinability" (non-définissabilité). Confusion possible avec une forme faible du théorème d'incomplétude ("Théorème de Gödel-Tarski" dans la traduction du Smullyan). Renommage en Théorème de Tarski ? Proz 22 mai 2006 à 20:03 (CEST)
Je compte procéder au renommage prochainement. Je n'ai jamais trouvé le théorème de Tarski sous ce nom ailleurs que danc cet article. En lisant de plus près l'article actuel : il semble confondre théorie et langage ce qui explique peut-être l'erreur sur le titre (voir la [version anglaise] pour une version correcte). On ne devrait pas avoir besoin de parler de théorie pour ce théorème. L'exposition semble largement à reprendre par ailleurs (il ne suffit pas de remplacer théorie par langage). Proz 24 mai 2006 à 21:27 (CEST)
Article renommé et modifié en suivant librement la version anglaise (pointée ci-dessus). J'ai gardé très peu de la version française, qui confondait de façon trop "imbriquée" théorie et langage. Je n'ai pas repris le passage final sur la diagonalisation, et renvoyé au paragraphe correspondant (à réécrire à ce jour) de l'article théorème d'incomplétude.
A ajouter (?) liens avec la hiérarchie arithmétique. Proz 26 mai 2006 à 18:39 (CEST)
Redirection à partir de l'ancien nom proposée à supprimer pour les raisons indiquées ci-dessus (inconnu sous ce nom pour résumer). Proz 7 septembre 2006 à 23:00 (CEST)
