"La démonstration de Bertrand Russell sur l'impossibilité de se référer à un ensemble de tous les ensembles a provoqué une remise en cause de toute la logique mathématique, qui a abouti en 1932 au théorème de Kurt Gödel disant qu'aucune théorie, même la plus simple comme l'arithmétique, ne peut être complète. Elle contient toujours une définition ou une affirmation dont vous ne pourrez démontrer ni qu'elle est vraie ni qu'elle est fausse." « Entretien avec Albert Jacquard », Le Monde s'est-il créé tout seul ?, Patrice Van Eersel
Créé le 22/01/19 à 22:57 par
Luthien