Discussion:Fonction d'Ackermann

message: Il serait bon que nous réussissions à faire de cet artcle un article de qualité Stendhalconques 16 février 2007 à 10:50 (CET)
replies: text: Parfaitement d'accord ! Les Wikipédia anglophone, germanophone et espagnophone y sont arrivées ; alors, pourquoi pas nous ?  Ekto - Plastor 20 février 2007 à 19:35 (CET)

message: Quelqu'un sait-il ce que sont les "grands systèmes informatiques" dont il est question? Cette notion est-elle d'actualité? Merci :) Ripounet (d) 23 février 2009 à 16:17 (CET)
replies: text: Moi je m'interroge sur l'utilité évoquée dans la rubrique Applications pratiques. Que l'on se serve de cette fonction comme exemple type à essayer ok, mais sa vraie utilité est théorique il me semble. En tant qu'exemple de fonction récursive, mais pas récursive primitive. --OPi (d) 28 mars 2009 à 14:39 (CET)

text: idem, je me demande pourquoi "Cette fonction prend toute son utilité dans le langage de programmation Haskell, langage très efficace dans le traitement des fonctions récursives.". La section "application" semble fumeuse. --129.88.133.122 (d) 26 janvier 2010 à 11:47 (CET)

text: C'est n'importe quoi. Plus précisément: "utilité dans les benchmark", il s'agit d'une fonction qui croît très vite, et qui est donc très lente à calculer; elle peut être utilisée comme micro-benchmark pour tester le support de la récursion dans une implémentation d'un langage, mais en pratique (pour une raison que j'ignore, sans doute l'habitude) la fonction Tak (nommée en l'honneur de Takeuchi). Je doute que ça constitue réellement une "application pratique", ou alors il faudrait considérer par exemple que la notion de "Palindrome" a pour application pratique le fait de fournir un exercice ultra-classique pour les apprentis programmeurs... Bref, je comprends comment ça s'est trouvé là, mais la forme actuelle ne va pas du tout. Pour la phrase derrière sur le langage "Haskell", c'est encore pire; encore une fois il est effectivement facile d'écrire Ackermann en Haskell (ou dans tout langage fonctionnel correct), mais dire qu'elle "prend toute son utilité" en Haskell, ça n'a pas de sens et ça décrédibilise l'article. Je vais essayer de modifier l'article pour reformuler cette partie en retirant la référence à Haskell et en reformulant la première phrase. Bluestorm (d) 3 juillet 2011 à 12:50 (CEST)
thread_title:  Grands systèmes 

message: à force de faire du ménage dans les implémentations, il n'en restait plus qu'une ... 
Il y a peut-être une juste mesure à trouver entre trop et pas assez. 
Je propose ici 3 implems : 
* l'implémentation initiale, 
* une implémentation caml (tres fonctionnelle), 
* une implémentation prolog (où l'on voit peut-être mieux la raison de l'explosion) 
On peut en rajouter d'autres si elles sont significativement différentes...
--129.88.133.122 (d) 26 janvier 2010 à 13:08 (CET)
thread_title:  Implémentation 

message: :C'est aussi à propos de l'article Thèse_de_Church et Fonction_récursive_primitive.
Constat : Il n'y a pas dans l'article Fonction_d'Ackermann ou dans les articles cités précédemment, de liens croisés, mettant en perspective l'étendue de la thèse de Church, mais la limitation à certains systèmes tout de même assez riches, parmi lesquels il n'y a pas les fonctions récursives primitives, la preuve étant apportée par la fonction d'Ackermann.
:Bémol : il y a une phrase mystérieuse (fait-elle un lien ?) :
::La croissance exponentielle des problèmes liés aux grands systèmes informatiques est en relation également avec la thèse de Church.
:et j'aimerais que l'on me l'explique (sinon, est-ce que l'on peut la supprimer ?)
Peut-on transformer la section "Fonction récursive, mais pas récursive primitive" en "Importance épistémologique" pour parler de la fonction d'Ackermann comme fonction récursive, mais pas récursive primitive (ce qui est fait pour le moment, et ce pourquoi elle est surtout connue) et prolonger/ajouter en fin pour parler de la thèse de Church :
:Par suite, l'exemple de la fonction d'Ackermann, montre que la notion de calculabilité introduite par les Fonction_récursive_primitive n'est pas la notion de calculabilité la plus générale, celle atteinte avec un grand succès par la Thèse_de_Church. En effet, la fonction d'Ackermann est calculable au sens de Turing et de Church, mais pas à l'aide de Fonction_récursive_primitive. C'est l'exemple qui montre que la Thèse_de_Church ne concerne pas tous les systèmes de calcul. Il existe des systèmes de calculs, qui semblent pourtant généralistes et puissants comme les Fonction_récursive_primitive, qui ne sont pas équivalents aux machines de Turing et au Lambda-calcul. La calculabilité de la Fonction_d'Ackermann sert ici de critère distinctif.
--Bdenis (d) 18 juin 2011 à 12:28 (CEST)
replies: text: L'équivalent des machines de Turing et du calcul lambda n'est-ce pas les fonctions récursives plutôt que les fonctions récursives primitives... --OPi (d) 21 juin 2011 à 11:05 (CEST)
thread_title:  Importance épistémologique 

message: Il n'est pas vrai que la fonction d'Ackermann permet de tester les implantations des langages de programmation. Elle croit trop vite pour cela. Si le programme sature sa mémoire, ça n'est pas dû à la mauvaise implantation, mais à la complexité intrinsèque de la fonction.  Cela n'est pas le cas de la fonction de Takeuchi.   D'autre part, il y a une confusion entre la fonction d'Ackermann et sa description récursive.  Je rappelle que la première implantation de la fonction d'Ackermann a été faite par Rice en 1965 sans récursivité! --Pierre de Lyon (discuter) 28 avril 2017 à 18:54 (CEST)
thread_title:  Application patique 

message: J'imagine que c'est bien connu en 1965 qu'on peut calculer théoriquement toutes les fonctions calculables dans un langage de type Fortran, qui possède un goto, voir :en:Register machine. Rice montre comment éviter les appels récursifs dans le calcul de la fonction d'Ackermann, en utilisant un tableau des valeurs successives, et affirme que c'est toujours possible pour une fonction calculable d'après le théorème de forme normale de Kleene. Proz (discuter) 19 juillet 2021 à 20:56 (CEST)
thread_title:  Fortran