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

durée : 00:58:21 - Sciences chrono - par : Antoine Beauchamp - 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. - équipe : Eve Etienne, Bruno Sensini, Hélène Trigueros - invités : Laura Fontanella Maîtresse de conférences en informatique, Université Paris-Est Créteil Val de Marne au laboratoire LACL (Laboratoire d’Algorithmique, Complexité et Logique) Vous aimez ce podcast ? Pour écouter tous les épisodes sans limite, rendez-vous sur Radio France