Dans cet épisode, on se penche sur le rapport entre maths et vérité. Les maths sont censées être le domaine de la certitude : soit c’est démontrable, soit c’est faux. Eh bien ce n'est pas si simple. Car le théorème de Gödel a prouvé qu'il existe des propositions « indécidables », qu’on ne peut ni prouver ni réfuter. Premier résultat limitant de l'histoire des mathématiques...
„Wir müssen wissen, und wir werden wissen.“ Lange galt die geheime Hoffnung, dass die Mathematik nicht nur kohärent, sondern auch „vollständig“ ist. Alles, was wahr ist, wäre auch beweisbar. Kurt Gödels Unvollständigkeitssatz erschütterte in den 1930er Jahren die Fundamente der mathematischen Überzeugungen.
Two prisoners must choose between cooperation and betrayal without consulting each other. This famous prisoner's dilemma that will take us to the heart of game theory. We think mathematically about a very philosophical question: is it in our interest to collaborate with others?
