Discussion:Fonction récursive
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par les projets Informatique 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 | Moyenne |  | Informatique (discussion • critères • liste • stats • hist. • comité • stats vues) |
 | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) | ||
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
Tout ou partie de cet article est issu de « ↳ Fonction calculable (h · j · ↵) », également publié sous CC BY-SA 3.0, et qui a été transformé en simple redirection vers le présent article. Il est possible que certains contenus soient également disponibles sous GFDL (voir conditions d'utilisation).
Consultez l'historique de l'article « Fonction calculable » pour connaître la liste de ses auteurs.
Une première discussion
[modifier le code]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)
J'ai complété la partie "calculabilité" de façon à en faire une page expliquant rapidement les notions et pointant sur des articles parlant de "récursif", "récursion", "récursivement", qui devraient être plus détaillés que l'article présent et dont certains sont à écrire. J'ai ajouté pour la partie calculabilité un historique (à vérifier dans les détails) tentant d'expliquer l'origine de la terminologie et les rapports entre les deux notions. Excepté pour l'article présent, je suis d'accord avec Theon, deux autres articles sont utiles.
fonction calculable (regroupant également fonction semi-calculable et fonction partielle récursive)
plus probablement des articles ad hoc pour certaines définitions particulières des fonctions calculables (cf liens rouges de cet article) : ça risque d'être lourd de tout mettre dans un même article. Proz 27 août 2006 à 22:47 (CEST)
Hiérarchie de fonctions récursives
[modifier le code]Où parle-t-on des hiérarchies de fonctions récursives, dont la hiérarchie de Grzegorczyk, la hiérarchie de Hardy, la hiérarchie lente, etc. ? Pierre de Lyon 7 novembre 2007 à 19:00 (CET)
- Je ne les ai jamais vues (si ça existait on devrait y accéder par fonction d'Ackermann, à mon avis il n'y a rien). Proz 7 novembre 2007 à 22:16 (CET)
- Ma question aurait dû être « Où devrait-on en parler ? ». Pierre de Lyon
- J'avais mal interprété (mais si je comprends bien tu souhaites te lancer là dedans ?). Ca mérite largement un article à part, non ? C'est sûr qu'il faut déjà un titre, hiérarchies sous-récursives (comment traduis-tu "sub recursive hierarchies" ?) ? J'ai l'impression que ça n'existe même pas sur "en". Proz 8 novembre 2007 à 10:36 (CET)
- Je ne souhaite pas me lancer dans un article, maintenant, mais je me disais qu'il fallait en parler quelque part. Pierre de Lyon 10 novembre 2007 à 12:07 (CET)
- [[fonction primitive récursive (même si ça "déborde") ? Fonction d'Ackermann (idem) ?11 novembre 2007 à 16:25 (CET)
Séparation des parties informatique et mathématique.
[modifier le code]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. — Le message qui précède, non signé, a été déposé par Chrisstopher42 (discuter), le 20 novembre 2018 à 13:31.
- 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)
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)
Pour 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)- Pour (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)
- Pour Tout fusionner sur Fonction calculable, en créant différentes sections et redirections si besoin. --Charlestpt (discuter) 17 juillet 2022 à 20:22 (CEST)
Pour info 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)