Abonnez-vous à Universalis pour 1 euro

ADMISSIBLES ENSEMBLES

Article

  • RÉCURSIVITÉ, logique mathématique

    • Écrit par , et
    • 8 916 mots
    ...grammaire récursive, et leur notion de validité est récursivement énumérable, ce dernier fait étant une conséquence du théorème de complétude. Pour tout ensemble admissible dénombrable A, nous allons définir une extension de L, notée LA, dont les formules seront des objets A-finis ayant une syntaxe...