{"version":"1.0","type":"rich","provider_name":"Acast","provider_url":"https://acast.com","height":250,"width":700,"html":"<iframe src=\"https://embed.acast.com/$/6a0f1df4d7997e788c5ab2ae/6a0f1e0aa9d3d2ec14ac1b39?\" frameBorder=\"0\" width=\"700\" height=\"250\"></iframe>","title":"Comment les USA ont racheté le FUTUR de NOTRE informatique","description":"<p>L’informatique est-elle devenue trop complexe ? Dans cet entretien exclusif animé par Christophe Pauly, nous recevons Gérard Berry, pionnier de l&#39;informatique, professeur émérite au Collège de France et membre de l&#39;Académie des sciences.</p><p><br></p><p>De l’époque où la France n’avait pas d’ordinateurs aux systèmes ultra-critiques des avions Airbus et des Rafale, Gérard Berry nous livre une réflexion passionnante sur la nature réelle des machines. Pourquoi affirme-t-il que l&#39;informatique est &quot;complètement stupide&quot; ? Comment une simple erreur de synchronisation a-t-elle failli coûter la vie aux robots martiens de la NASA ?</p><p><br></p><p>🔍 Au programme de cet entretien :</p><p><br></p><ul><li>L&#39;ordinateur vs l&#39;Homme : Pourquoi la bêtise absolue de la machine est sa plus grande force (zéro intuition, zéro erreur).</li></ul><p><br></p><ul><li>Le crash évité : Comment la preuve mathématique a remplacé le simple test dans l&#39;aéronautique pour garantir notre sécurité.</li></ul><p><br></p><ul><li>La guerre du Temps : Pourquoi le GPS est devenu la cible n°1 des conflits modernes et pourquoi l&#39;Europe est vulnérable.</li></ul><p><br></p><ul><li>Informatique vs IA : La différence fondamentale entre la logique exacte des programmes et le &quot;flou&quot; probabiliste de l&#39;IA générative.</li></ul><p><br></p><ul><li>L&#39;histoire secrète du temps : Des horloges pneumatiques de Paris aux chronomètres de marine qui ont donné la suprématie à l&#39;Angleterre.</li></ul><p><br></p><ul><li>Éducation : Pourquoi l&#39;absence d&#39;enseignement de l&#39;informatique au lycée est un danger pour l&#39;avenir.</li></ul><p><br></p><p>🔔 Abonnez-vous pour ne pas manquer nos prochains entretiens ! </p><p><br></p><p>Chapitres de l&#39;entretien :</p><p>00:00 L&#39;informatique est complètement stupide (Introduction)</p><p>00:39 Parcours de Gérard Berry : de Polytechnique au Collège de France</p><p>01:41 La grande découverte : un ordinateur ne fait jamais d&#39;erreur</p><p>02:25 Coup de bol à Palo Alto : la rencontre avec les pionniers des preuves machines</p><p>04:24 Pourquoi programmer sans bug est un défi mathématique</p><p>05:43 Le problème du langage C et des systèmes critiques</p><p>08:26 Le langage : un intermédiaire entre la pensée humaine et la machine</p><p>10:43 Les 3 types de programmation : Séquentielle, Asynchrone et Synchrone</p><p>15:12 Pourquoi Internet ne connaît pas le temps (et pourquoi c&#39;est un choix)</p><p>18:13 L&#39;affaire Pathfinder : un bug asynchrone sur Mars 737)</p><p>27:56 Comment l&#39;informatique a changé le métier de pilote d&#39;avion</p><p>30:15 Jumeaux numériques : simuler le réel pour éviter les crashs</p><p>36:30 &quot;Le temps autrement&quot; : Perception, mesure et histoire du temps</p><p>40:14 La vulnérabilité du GPS et les enjeux de souveraineté</p><p>43:18 Anecdotes historiques : quand les gares françaises avaient 3 heures différentes</p><p>49:15 Informatique classique vs IA générative (ChatGPT, DeepL)</p><p>56:50 Le futur de l&#39;informatique : de l&#39;ordinateur quantique au cerveau humain</p><p>1:01:24 L&#39;urgence d&#39;enseigner l&#39;informatique au lycée</p><p><br></p><p>Présentateur : Christophe Pauly</p><p>Invité : Gérard Berry</p><p>Production : Propulse by Reworld Media ➡️ https://propulse-media.com/ </p><p>Chargée de distribution &amp; Post-Prod : Laëtitia Carneiro Gomes </p><p>Directrice de production : Sara FOUCAUT </p><p>Chargé de production : Victor DE HALLEUX</p><p>Equipe Image &amp; son : Simo EL RHOMRI &amp; Ewen Buns Studio </p><p>Cheffe monteuse : Clémentine</p><p>Montage : Margaux Charrière </p><p>Maquilleuse : Mayliss PATILLOT</p><p>Contact partenariat : contact@propulse-media.com</p><p><br></p><p></p><p>Retrouvez Science &amp; Vie sur les réseaux sociaux : </p><p>➡️ Instagram :   <a href=\"https://www.instagram.com/scienceetvie/\">⁠/ scienceetvie  ⁠</a></p><p>➡️ TikTok :   <a href=\"https://www.tiktok.com/@scienceetvie.officiel\">⁠/ scienceetvie.officiel  ⁠</a></p><p>➡️ Facebook :  <a href=\"https://www.facebook.com/ScienceetVieMag\">⁠ / scienceetviemag  </a></p>","author_name":"La référence de la science depuis 1913"}