Bertrand Russell : « Les mathématiques peuvent être définies comme le domaine dans lequel on ne sait jamais de quoi l’on parle ni si ce que l’on dit est vrai. »
Mysticisme et logique (1918)
Bertrand Russell, l’un des plus grands logiciens du XXe siècle, se serait-il lassé des chiffres, des symboles et des démonstrations au point de dire que les mathématiques, science par excellence de la rigueur, ne servent à rien ? Au contraire, avec un humour tout britannique, il entend nous faire comprendre en profondeur ce qui caractérise cette science.
Les énoncés des mathématiques sont en effet formulés en un langage symbolique qui entend éliminer ainsi toute ambiguïté, mais rend les raisonnements exclusivement logiques et, comme on dit, « formels ». Un mathématicien peut ainsi poursuivre des déductions en pensant à un certain triangle rectangle, mais son raisonnement vaudra de toute façon pour une infinité de triangles rectangles et une infinité d’autres objets encore. De fait, il ne saura jamais quelles sont toutes les choses à propos desquelles son raisonnement pourrait s’appliquer ! D’ailleurs, on peut aujourd’hui faire démontrer à un ordinateur des théorèmes simples après lui avoir inséré en mémoire des règles de logique et des axiomes, ces énoncés qui servent de point de départ. L’ordinateur peut donner des résultats sans savoir, et pour cause, de quoi il parle.
La quête de la vérité est le but même de la philosophie. Le Vrai constitue pour Platon, avec le Beau et le Bien, une valeur absolue. Mais qu’est-ce que la vérité et comment y accéder puisqu’on ne peut la confondre avec la réalité ? On…
La démonstration est un raisonnement qui permet d’établir une vérité. Systématiquement utilisée en mathématiques, elle procède par enchaînement logique en respectant des règles rigoureuses, sans quoi elle n’est pas valide. Elle…
Les Jeux paralympiques, qui s’achèvent cette semaine, sont presque le seul moment où l’on entend parler de handicap dans les médias. Un instant d…
Il y a de nombreux moyens pour découvrir une vérité : en prendre connaissance tout en faisant confiance aux sources de transmission, avoir une intuition intellectuelle, une expérience indubitable, voire une révélation esthétique ou…
Stuart Russell est l’une des plus grandes figures morales et scientifiques dans le domaine de l’intelligence artificielle. Il est aussi à l…
À l’occasion de l’attribution de la médaille Fields, la plus prestigieuse récompense en mathématiques, à Hugo Duminil-Copin, nous avons contacté…
Les Grecs auraient inventé la philosophie, l’histoire, mais aussi les mathématiques et la géométrie… C’est sur cette vision commode, flatteuse…
En partenariat avec Flammarion, Philosophie magazine propose chaque jour une réponse d’Alain Badiou extraite de l’« Éloge des mathématiques »