« D’un ensemble donné d’axiomes, suivant un raisonnement logique, les mathématiciens déduisent des affirmations qui sont vraies. Hilbert croyait que les mathématiques étaient cohérentes, à savoir qu’il n’était pas possible de déduire deux affirmations qui se contredisent l’une l’autre. Voilà ce que son intuition lui disait, mais il n’avait pas de preuve. »
Zia Haider Rahman, À la lumière de ce que nous savons, Christian Bourgois éditeur
Quatre-cents-soixante-cinquième rapport de Don Carotte
Extrait du Grand Cahier Noir
Une petite pointe de regret avait fait son apparition dans mes pensées. Pas grand-chose, juste de quoi rendre présent ce qui sans preuve évidente, dans l'obscurité des corps et derrière les mots, était à l’œuvre. C’était un fait que je ne pouvais pas passer sous silence. Il m’était difficile de passer outre l’influence momentanée qu’elle avait.
Aucun commentaire:
Enregistrer un commentaire