Recherche:Principe de complétude/Présentation de la recherche

Une page de Wikiversité, la communauté pédagogique libre.

En partant du constat de l'existence d'un ensemble indécidable, dont on ne sait pas s'il contient des choses énumérables, on s'aperçoit, par simple contradiction, que cet ensemble peut être complété. Justement puisqu'il n'est pas complet.

Le projet est donc de définir des modalités algorithmiques permettant de le compléter. Ce faisant, il faudra définir un protocole de logique contradictoire permettant de décider (ou non) d'intégrer une proposition dans un ensemble énumérable qui ne modifie pas l'intégrité de cet ensemble, mais vient prendre une place vacante de la partie non organisée.

Ce protocole s'inscrit naturellement dans un principe de conservation et d'équilibre de l'ensemble considéré comme une structure (organisé en parties connectées fonctionnelles.)