Les mathématiques révèlent-elles tout d’elles-mêmes ?
La Conversation scientifique
00:00
Les voyages logiques de Gödel
Ce chapitre retrace la vie de Kurt Gödel, son exil aux États-Unis et ses réflexions sur la logique et les systèmes formels. Il souligne l'impact de son théorème sur la compatibilité des algorithmes d'intelligence artificielle et les implications pour la compréhension mathématique. Enfin, il explore la complexité des concepts comme l'hypothèse du continu et les conséquences de l'indécidable dans la théorie des ensembles.
Transcript
Play full episode
