C'est l’un des 40 titres de la série ”Le monde est mathématique”.

Il présente la logique mathématique et ses paradoxes. Aux limites de la science et de la philosophie, les logiciens s'évertuent depuis le début du XXème siècle à ébranler les certitudes les plus établies des mathématiques. L'Anglais Bertrand Russell et l'Autrichien Kurt Gödel sont les plus célèbres de ces brillants penseurs. Leurs travaux respectifs complexes et dérangeants et notamment le "paradoxe du barbier" et le théorème d'incomplétude ont autant fasciné qu'ils ont suscité les controverses les plus vives.

Mais la leçon la plus lucide nous est, peut-être, offerte par Bertrand Russell lui-même : "Existe-t-il au monde une connaissance dont la certitude soit telle qu'aucun homme raisonnable ne puisse la mettre en doute ?”.