Discussion:Fonction semi-calculable

message: On trouve sur Wikipédia les chapitres suivants :
Fonction récursive
Fonction partielle récursive
Fonction calculable
Fonction semi-calculable
Fonction récursive primitive
Comme récursive <=> calculable, il conviendrait de fusionner ces deux chapitres.
Comme partielle récursive <=> semi-calculable, il conviendrait également de fusionner ces deux chapitres.
Enfin, comme il n'existe pas de processus de décision permettant de dire si une fonction est calculable ou semi-calculable, la question se pose même si ces cinq chapitres ne doivent pas être réduits à deux seulement :
les fonctions récursives (au sens large)
les fonctions récursives primitives
Theon 31 décembre 2005 à 10:43 (CET)
thread_title:  Chapitres 

message: Discussion transférée depuis Wikipédia:Pages à fusionner 
Bonjour. On trouve dans la page de discussion de l'article "Fonction calculable" ce commentaire datant de décembre 2005, qui propose de fusionner les articles "Fonction récursive", "Fonction partielle récursive", "Fonction calculable", "Fonction semi-calculable", et "Fonction récursive primitive".
Les pages "Fonction récursive" et "Fonction récursive primitive" sont bien renseignées et semblent décrire, contrairement à ce qui est affirmé dans ce commentaire, des cas particuliers de fonctions calculables. Je ne pense pas que leur fusion soit souhaitable.
Cependant, les articles "Fonction semi-calculable" et "Fonction partielle récursive" sont au contraire très courts, et décrivent des concepts qui ne semblent utiles qu'en tant que généralisations de celui de fonction calculable. Par ailleurs, les articles "Fonction calculable" et "Fonction semi-calculable" mentionnent chacun (de façon ambiguë peut-être) une équivalence entre les notions de fonction semi-calculable et partielle récursive. Il me semble donc justifié de fusionner ces trois pages, en fusionnant les notions de fonction semi-calculable et partielle récursive, et en intégrant le tout sous forme de section dans la page Fonction calculable (et en implémentant les redirections utiles).
On peut également noter que la page "Théorie de la calculabilité" fournit une bonne définition des fonctions calculables, qui pourrait être réutilisée dans la foulée. Algorythmis (discuter) 12 juillet 2022 à 17:17 (CEST)
replies: text: *  Je suis pour la fusion de fonction calculable avec fonction récursive et la fusion de fonction semi-calculable avec fonction partielle récursive. D'ailleurs, il me semble qu'une simple redirection suffit. --Pierre de Lyon (discuter) 12 juillet 2022 à 19:30 (CEST)

text: *  (après un long sommeil de 17 ans, je n'ai pas vu le temps passer !). Il convient de réduire le nombre d'articles, surtout quand ils traitent du même sujet. Ceci dit, sur le fait de garder des articles distincts pour fonction calculable et pour fonction semi-calculable, ou bien disposer le second comme section de du premier, je n'ai pas d'avis tranché. Theon (discuter) 13 juillet 2022 à 14:13 (CEST)

text: *  Tout fusionner sur Fonction calculable, en créant différentes sections et redirections si besoin. --Charlestpt (discuter) 17 juillet 2022 à 20:22 (CEST)

text: *  Je me suis permis (de façon assez consensuelle, je crois) de fusionner Fonction semi-calculable et Fonction partielle récursive. Étant moins sûr de moi pour ce qui est des articles Fonction calculable et Fonction récursive, je n'y ai rien fait à part modifier le bandeau de proposition de fusion du premier, et en ajouter un au second. Algorythmis (discuter) 19 juillet 2022 à 03:10 (CEST)
thread_title:  Fusion avec [[Fonction partielle récursive]]