Preuves et réfutations : essai sur la logique de la découverte mathématique / Imre Lakatos ; textes présentés par John Worall et Élie Zahar ; traduction de Nicolas Balacheff et Jean-Marie Laborde

Trad. de : "Proofs and refutations"

Bibliogr. p. 197-208 . Index

L’œuvre du mathématicien et philosophe hongrois Imre Lakatos, interlocuteur privilégié de Paul Feyerabend et successeur de Karl Popper à la London School of Economics, a été largement diffusée et traduite dans les principaux pays d’Europe, nourrissant des discussions passionnées. Cette œuvre rigoureuse et savante, voire impertinente, montre comment les vérités mathématiques se développent dans la confrontation des preuves et des réfutations de conjectures audacieuses. Elle remet en question le dogme d’une mathématique s’enrichissant, sans erreur et sans faux pas, de nouveaux théorèmes.

Cette thèse se développe principalement autour de l’exemple de la résolution d’un problème célèbre : celui de la formule d’Euler sur la relation existant entre les nombres de sommets, faces et arêtes d’un polyèdre. Cet éclairage nouveau rapproche les mathématiques des autres sciences, dont la tradition les a trop longtemps séparées. Ce livre passionnera tous ceux qui s’intéressent à la philosophie, à l’histoire des sciences et au développement du savoir. (Source : Hermann)