Gödel et les théorèmes d'incomplétude : un séisme mathématique

Au tournant du XXe siècle les mathématiques sont en crise et cherchent à rebâtir leurs théories sur des bases bien définies. En 1931 Kurt Gödel, montre l’impossibilité de ce programme en démontrant l'un des résultats les plus importants des mathématiques : l’incomplétude des théories mathématiques.