sciences

Chaque structure contient des centaines de théorèmes déduits des axiomes: et si deux d'entre eux étaient contradictoires?
Si cela arrivait, le développement tout entier en deviendrait absurde...
Russel énonça un paradoxe en 1919 : un barbier se vante en ville de raser tous ceux qui ne se rasent pas eux-mêmes, mais évidemment il ne rase pas ceux se rasent eux-mêmes.
Il est clair, s'il le fait, qu'il ne le doit pas et s'il ne le fait pas qu'il le doit.

Auteur: Kline Morris

Info: Les fondements de mathématiques

[ paradoxe ]