Gödel et l'indécidabilité : des mythes à la réalité
- Dans le périodique : Sciences et avenir (1949), n°945 (11/2025) p.86-88
- Antoine Houlou-Garcia
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.