Cover of L’Élégance de l’Erreur

L’Élégance de l’Erreur

L’Élégance de l’Erreur

By: Podlatino
Listen for free

Season's Savings | 0.99 €/month for 3 months

5.99 €/month thereafter - terms apply. Cancel monthly.

L’Élégance de l’Erreur est un podcast narratif de mathématiques destiné à celles et ceux qui savent déjà qu’une démonstration peut être aussi belle qu’une œuvre d’art et qu’une erreur intéressante peut être plus féconde que cent réponses correctes. Chaque épisode reconstruit une idée, une obsession, un paradoxe ou un échec qui a obligé les mathématiciens à regarder un problème autrement. Euclide, Euler, Cantor, Russell, Gödel et d’autres figures apparaissent non comme des monuments de l’histoire, mais comme des personnes confrontées aux limites de ce qu’il semblait possible de penser. Le podcast s’adresse à un auditeur à l’aise avec les théorèmes, les fonctions, les infinis et l’abstraction. Il ne simplifie pas inutilement les mathématiques, sans pour autant devenir un cours. Avec une narration soignée, un humour sec et une curiosité intellectuelle assumée, L’Élégance de l’Erreur explore l’instant où une démonstration se brise, une intuition échoue et une idée plus profonde peut enfin apparaître.

 Mathematics Philosophy Science Social Sciences
Episodes
  • Gödel ferme la porte de l’intérieur

    Gödel ferme la porte de l’intérieur
    19 Oct 2026

    Peut-il exister un système formel capable de démontrer toutes les vérités arithmétiques tout en certifiant sa propre cohérence ? Gödel a montré que, sous des conditions précises, la réponse est non. Ce chapitre explore les théorèmes d’incomplétude, le codage des formules et des démonstrations par des nombres, ainsi que la construction d’un énoncé qui affirme essentiellement sa propre indémontrabilité. Le résultat ne signifie pas que les mathématiques sont incertaines ni que tout est relatif. Il affirme quelque chose de bien plus précis : tout système formel effectif, cohérent et suffisamment puissant pour exprimer l’arithmétique possède des limites internes qu’il ne peut éliminer en utilisant uniquement ses propres règles.

    See omnystudio.com/listener for privacy information.
    Show more Show less
    11 min
  • L’algorithme qui ne peut pas exister

    L’algorithme qui ne peut pas exister
    19 Oct 2026

    Peut-il exister un programme capable d’analyser n’importe quel autre programme et de déterminer toujours s’il finira par s’arrêter ou continuera indéfiniment ? Alan Turing a démontré qu’un tel algorithme universel ne peut pas exister. Ce chapitre explore la machine de Turing, le calcul universel et le problème de l’arrêt, l’une des frontières fondamentales de l’informatique théorique. Grâce à une construction autoréférentielle, Turing a montré que certains problèmes ne sont pas simplement trop difficiles pour nos ordinateurs : aucun algorithme général ne peut résoudre tous leurs cas. La théorie qui a contribué à définir le calcul en a également révélé les limites.

    See omnystudio.com/listener for privacy information.
    Show more Show less
    13 min
  • Quand 1 + 2 + 3 + … semble valoir −1/12

    Quand 1 + 2 + 3 + … semble valoir −1/12
    19 Oct 2026

    Un plus deux plus trois plus quatre, et ainsi de suite à l’infini, croît sans limite. Alors pourquoi voit-on si souvent cette série associée à −1/12 ? Ce chapitre explore la différence entre une série divergente et une valeur régularisée, de la sommation de Cesàro au prolongement analytique de la fonction zêta de Riemann. Le célèbre −1/12 n’est pas la somme ordinaire des entiers positifs, mais le résultat d’une extension soigneusement définie d’une autre structure mathématique. Le paradoxe apparent disparaît dès qu’on pose la bonne question. Le problème n’était pas l’arithmétique, mais l’usage du mot « somme » sans préciser exactement quelle opération est effectuée.

    See omnystudio.com/listener for privacy information.
    Show more Show less
    12 min
adbl_web_anon_alc_button_suppression_t1
No reviews yet