Se pose alors la question suivante. Etant donnée une fonction, définie récursivement ou par un algorithme quelconque, est-il possible de déterminer par un processus automatique si cette fonction est ...