Discussion:Fonction constructible

Orphelin

L'article est actuellement orphelin car la notion est surtout utile pour des théorème qui n'ont pas encore d'articles (les théorèmes de hierarchie et le gap theorem). Si quelqu'un se sent de les faire... Ces temps-ci je préfère travailler sur des articles plus basiques. --Roll-Morton (discuter) 7 octobre 2015 à 10:41 (CEST)

Renommage de l'article ?

L'article qui traite des fonctions constructibles en temps devait être renommé avec ce titre, car la notion vraiment générale de fonction constructible, en logique constructive, n'est pas celle-là. En l'état actuel, les lecteurs qui viendraient sur cet article pour voir traiter ce concept seraient surpris. --Pierre de Lyon (discuter) 30 mars 2017 à 08:43 (CEST)

Le problème c'est qu'il y est aussi question d'espace, et que par conséquent il est difficile de mettre un autre titre. Je serai plutôt favorable à créer une ébauche pour l'autre sujet dont tu parles, de renommer celui-ci en Fonction constructible (théorie de la complexité) et de faire une page d'homonymie. --Roll-Morton (discuter) 30 mars 2017 à 09:45 (CEST)

D'accord pour le nommage vers Fonction constructible (théorie de la complexité), mais plutôt que de créer un article (disons Fonction constructible (logique constructive)), il suffirait de faire un renvoi vers démonstration constructive. --Pierre de Lyon (discuter) 30 mars 2017 à 10:50 (CEST)

En fait une autre solution, pour éviter d'avoir une page d'homonymie à deux entrées (si en effet il n'y a que deux concepts courants avec ce nom) est simplement d'utiliser un mini bandeau en haut, du type cet article concerne la complexité, pour le logique constructive voir ... --Roll-Morton (discuter) 31 mars 2017 à 13:59 (CEST)

J'ai fait le changement que j'évoquais, qu'en penses-tu ? --Roll-Morton (discuter) 31 mars 2017 à 14:08 (CEST)

Je suis d'accord. --Pierre de Lyon (discuter) 1 avril 2017 à 18:31 (CEST)