Kenneth Mc ALOON

maître de recherche au C.N.R.S.

RÉCURSIVITÉ, logique mathématique

  • Écrit par 
  • Bernard JAULIN, 
  • Jean-Pierre RESSAYRE, 
  • Kenneth Mc ALOON
  •  • 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 des entiers dans les entiers, bien que l'on puisse définir la notion de récursi […] Lire la suite