Gödel et l'indécidabilité : des mythes à la réalité

Dans le périodique : Sciences et avenir (1949), n°945 (11/2025)
• Auteur : Antoine Houlou-Garcia
• Pages : p.86-88
• • Nature du document : documentaire
  • Résumé :

    Retour sur les théorèmes d'incomplétude de Kurt Gödel, un mathématicien autrichien du 20e siècle : son apport pour les mathématiques ; le contexte de leur formulation. Encadré : un exemple d'incomplétude basé sur le combat entre Hercule et l'hydre.

• • Descripteurs : 20e siècle / Autriche / logique mathématique / mathématicien
  • Mots-clés : loi et principe scientifique