Les théorèmes d'incomplétude de Gödel

Dans le périodique : Tangente (Paris), n°192 (02/2020)
• Auteur : Hervé Lehning
• Pages : p.32-33
  • Langues : Français
• • Nature du document : documentaire Genre : / Article de périodique/Article de périodique
  • Note générale : Bibliographie.
  • Résumé :

    Explication et illustration à partir d'exemples des théorèmes d'incomplétude de Gödel basés sur les assertions indécidables et l'autoréférence. Encadré : un exemple d'une assertion improuvable sans l'axiome du choix.

• • Descripteurs : logique mathématique