Discussion:Induction structurelle
Cet article est indexé par les projets Informatique, Informatique théorique, Logique et Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Bon début | À évaluer |  | Informatique (discussion • critères • liste • stats • hist. • comité • stats vues) |
 | Informatique théorique (discussion • critères • liste • stats • hist. • comité • stats vues) | ||
 | Logique (discussion • critères • liste • stats • hist. • comité • stats vues) | ||
 | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) | ||
Cet article comporte une liste de tâches suggérées :
Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article :
- Modèle {{ Lien web }} : l'argument «
adresse = [[Université du Maryland]], College Park» ne fait pas partie des arguments gérés par le modèle {{ Lien web }} (dans « Bibliographie ») -- 2 août 2024 à 23:55 (CEST)
- Modèle {{ Lien web }} : l'argument «
à sourcer
[modifier le code]
ContributorQ : Vous avez ajouté l'entête à sourcer alors que l'article, somme toute assez court, comporte quatre références. Pourriez-vous être plus précis et indiquer ce qu'il faut faire de plus. --Pierre de Lyon (discuter) 31 décembre 2017 à 10:32 (CET)
- Bonjour, il y a bien une section « Bibliographie », mais aucune référence n'est liée au texte. Il manque une section « Notes et références » dans laquelle doivent apparaître les références associées aux phrases ou paragraphes du texte.
J'ai cependant remplacé le modèle en question par le modèle {{Sources à lier}}, plus précis, ce qui ne change rien au problème à résoudre.
Bonnes fêtes de fin d'année, et, tant que j'y suis : bonne année 2018 ! --ContributorQ(✍) 31 décembre 2017 à 17:58 (CET)
La section « Caractéristique » doit être nettoyée de son jargon
[modifier le code]La section « Caractéristique » doit être nettoyé de son jargon et même d’affirmations incorrectes. Ainsi « La définition récursive ... est ... créatrice d'objets. ». Non une définition récurive déinit des objets.
D'autre part la phrase « Ainsi contrairement à l'axiome, les règles de construction d'une récurrence bien fondée ne peuvent créer l'incohérence » m'est incompréhensible. Pierre Lescanne (discuter) 24 août 2023 à 12:39 (CEST)