Jean-Pierre RESSAYRE
chargé de recherche au C.N.R.S.
RÉCURSIVITÉ, logique mathématique
Les (semi-) fonctions récursives ont été introduites pour donner un équivalent mathématique à la notion métamathématique intuitive de (semi-) fonction effectivement ou mécaniquement calculable (cf. logique mathématique, chap. 4). Par souci de simplicité, nous considérons ici le cas des fonctions des entiers dans les entiers, bien que l'on puisse définir la notion de récursi […] Lire la suite