durée : 00:58:23 - La Science, CQFD - par : Natacha Triou, Antoine Beauchamp - Un projet collaboratif s’est donné pour objectif de formaliser la preuve du théorème de Fermat afin de pouvoir l’apprendre à un ordinateur. Quel est l’enjeu de cette formalisation ? Pourquoi est-ce si compliqué ? Qu’est-ce qu’un assistant de preuve et quel est son rôle en mathématiques ? - réalisation : Olivier Bétard - invités : Riccardo Brasca Maître de conférences au département de mathématiques à l'Université de Paris-Cité; Assia Mahboubi Directrice de recherche INRIA au laboratoire des Sciences du Numérique de Nantes (LS2N)

Wissenschaft & Technik
La Science, CQFD Folgen
Une heure de savoir autour des sciences, toutes les sciences, et sur les problématiques éthiques, politiques, économiques et sociales qui font l'actualité de la recherche. Du lundi au vendredi de 16h à 17h avec Natacha Triou. Vous aimez ce podcast ? Pour écouter tous les épisodes sans limite, rendez-vous sur Radio France.
Folgen von La Science, CQFD
179 Folgen
-
Folge vom 24.07.2025Physique et maths : de si grands défis : Dernier théorème de Fermat : à l'épreuve de l'informatique
-
Folge vom 23.07.2025Physique et maths : de si grands défis : Physique quantique et physique relativiste : il y a un temps pour toutdurée : 00:58:24 - La Science, CQFD - par : Natacha Triou, Antoine Beauchamp - Qu'est-ce que la physique a fait au temps ? Comment le temps de la physique s’est-il petit à petit éloigné de ce que nous pouvons expérimenter et intuiter ? Comment le temps de la physique relativiste se marie-t-il à celui de la physique quantique ? - réalisation : Olivier Bétard - invités : Marc Lachièze-Rey Physicien théoricien et cosmologue, directeur de recherche émérite à l’APC (Laboratoire Astroparticule et Cosmologie); Yann Mambrini Physicien, directeur de recherche CNRS au laboratoire de physique des 2 infinis de l’université Paris-Saclay; Francesca Vidotto Physicienne, professeure adjointe de physique, d'astronomie et de philosophie à l'Université Western Ontario
-
Folge vom 22.07.2025Physique et maths : de si grands défis : Louis de Broglie : électron libre de la physique quantiquedurée : 00:58:24 - La Science, CQFD - par : Natacha Triou, Antoine Beauchamp - En 1924, Louis de Broglie présente une thèse sur la théorie des quanta dans laquelle il envisage que toute particule de matière peut être décrite par une onde. Qui était ce savant aristocrate ? Comment a-t-il révolutionné la physique quantique ? Quelles sont les applications issues de ses théories ? - réalisation : Olivier Bétard - invités : Olivier Darrigol Historien des sciences, au sein de l’unité SPHère (Sciences, Philosophie, Histoire) du CNRS et de l’Université Paris Cité.; Alain Le Rille Professeur de physique en Classes Préparatoires aux Grandes Écoles (CPGE), au Lycée Saint-Louis
-
Folge vom 21.07.2025Physique et maths : de si grands défis : La 500ᵉ : CERN, visite d'un monde à particulesdurée : 00:59:32 - La Science, CQFD - par : Natacha Triou, Antoine Beauchamp - C’est déjà la 500ᵉ de La Science, CQFD et, pour l’occasion, direction le lieu de tous les miracles de la physique des particules, le CERN. 70 ans d’histoire, de la mise en place du projet à la découverte du boson de Higgs, le CERN se conjugue aussi au futur avec le projet HL-LHC. Visite des lieux... - réalisation : Olivier Bétard - invités : Fabiola Gianotti Directrice générale du CERN; Malika Meddahi Physicienne spécialiste de la physique des particules et Directrice adjointe des accélérateurs et de la technologie au CERN; Marumi Kado Directeur de recherche au CNRS et directeur du département des expériences des accélérateurs de hautes énergies à l’institut Max Planck; Marta Bajko Ingénieure au CERN, spécialiste des aimants supraconducteurs pour le HL-LHC