Dialogues Dilettantes #5.1 : Théorèmes de Gödel (Partie 1)

Publié en 1931 par Kurt Gödel, un logicien autrichien encore inconnu à l\'époque, ces théorèmes éponymes apportèrent l\'avancée la plus spectaculaire en logique depuis le syllogisme d\'Aristote d\'il y a quelques millénaires. Réel bouleversement mathématique et philosophique, les penseurs en sont toujours aux prises avec les implications profondes de ce que révèlent ces découvertes sur la méthode axiomatique en mathématiques, la rationalité humaine et même les potentialités de l\'informatique et de l\'intelligence artificielle. Le premier épisode tentera d\'élucider le contexte historique et les théorèmes en question.