Discussion:Fonction récursive

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:42 (CET)
thread_title:  Une première discussion 

message: Bonjour,
Après plusieurs lectures des pages concernant les fonctions récursives, il semblerait plus pertinent de séparer en deux pages distinctes les parties mathématique et informatique tout en les reliant par un hyperlien par exemple.
Il semble aussi nécessaire d'ajouter des sources/références et des exemples supplémentaires. 
De plus, les pages fonction récursive, fonctions récursives primitives et fonctions récursives partielles semblent étroitement liées, il faudrait peut être les réagencer, de sorte à rendre la définition plus clair par exemple.
Nous pensions nous occuper de ces modifications dans les mois à venir, si personne ne s'y oppose. Nous sommes ouverts à toutes discussions et prêts à faire d'autre modifications, une fois celles-ci commencées.
: La notion de fonction récursive informatique est celle d'algorithme récursif. Un renvoi vers l'article algorithme récursif devrait suffire. C'est d'ailleurs ce que j'ai fait. --Pierre de Lyon (discuter) 17 janvier 2019 à 14:18 (CET)
thread_title:  Séparation des parties informatique et mathématique.  

message: Déplacé 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)
thread_title:  [[Fonction calculable]] et [[Fonction récursive]]