La théorie des fonctions récursives a été développée par le Norvégien Thoralf Albert Skolem, un pionnier de la métalogique, comme moyen d'éviter les soi-disant paradoxes de l'infini qui surviennent dans certains contextes lorsque "tout" est appliqué à des fonctions qui s'étendent sur des classes infinies; il le fait en spécifiant le …
Qu'est-ce qu'une fonction récursive ?
Page 1. Définitions récursives des fonctions. Fonctions entières récursives. Intuitivement, une fonction récursive f est une dont la sortie peut être définie pour une entrée donnée en assimilant sa sortie associée à une expression qui inclut les valeurs de sortie de f pour les entrées de plus petite taille.
Qu'est-ce que la théorie de la calculabilité en informatique ?
La théorie de la calculabilité, également connue sous le nom de théorie de la récursivité, est une branche de la logique mathématique, de l'informatique et de la théorie du calcul qui a vu le jour dans les années 1930 avec l'étude des fonctions calculables et degrés de Turing.
Qu'est-ce que le concept de récursivité ?
La récursivité est le processus de répétition d'éléments de manière auto-similaire. Dans les langages de programmation, si un programme vous permet d'appeler une fonction à l'intérieur de la même fonction, cela s'appelle un appel récursif de la fonction.
Qu'est-ce qu'une fonction récursive en théorie du calcul ?
Les fonctions μ-récursives (ou fonctions récursives générales) sont fonctions partielles qui prennent des tuples finis de nombres naturels etrenvoie un seul nombre naturel. Il s'agit de la plus petite classe de fonctions partielles qui inclut les fonctions initiales et est fermée par la composition, la récursivité primitive et l'opérateur μ.
