-
C’est quoi une preuve digne de ce nom ?
-
Unilog 2022 – Qu’est-ce qui rend une démonstration digne de ce nom ?, sur arXiv
-
14 mars 2023 : le jour où le genre humain fut assailli par le doute II. L’Intelligence Artificielle : cette fois, copier l’oiseau battant des ailes
-
Les problèmes « insolubles » sont-ils apparentés aux problèmes « difficiles à résoudre » ?
-
Lex Fridman sur la Singularité
-
Paul Jorion & Yu Li vs Gödel – Tourmenter ChatGPT davantage pour son conformisme
Deuxième épisode. Le premier peut être lu ici.
Yu : Existe-t-il des travaux qui remettent en cause la démonstration du théorème d’incomplétude de Gödel ?
ChatGPT : Le théorème d’incomplétude de Gödel est un résultat fondamental de la logique mathématique qui a été largement étudié et accepté comme pierre angulaire du…
-
P vs NP – Deuxième épisode, le 8 mars 2021 – Retranscription
-
Vidéo – Paul Jorion & Yu Li : Vers une méta-connaissance
-
Et pendant ce temps-là… P vs. NP, le 28 mars 2022 – Retranscription
-
Vidéo – Et pendant ce temps-là… P vs. NP
-
Chine / Occident : deux manières d’appréhender le monde, le 1er mai 2021 – Retranscription
-
Stephen Wolfram et les trois façons de montrer que quelque chose est vrai
-
Vidéo – Chine / Occident : deux manières d’appréhender le monde
-
Que font les mathématiciens ? le 18 avril 2021 – Retranscription
Retranscription de Que font les mathématiciens ? le 18 avril 2021.
Bonjour, nous sommes le dimanche 18 avril 2021 et je voudrais commencer par vous remercier. Parce que je fais des vidéos sur des sujets extrêmement différents. Et d’ailleurs on me reproche un petit peu d’avoir des expertises dans des domaines…
-
Vidéo – Que font les mathématiciens ?
