Jean-Pierre RESSAYRE
Chargé de recherche au C.N.R.S.
Article
-
RÉCURSIVITÉ, logique mathématique
- Écrit par Kenneth Mc ALOON, Bernard JAULIN, Jean-Pierre RESSAYRE
- 8 914 mots
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...
