Preuves et réfutations: essai sur la logique de la découverte mathématiqueUn dialogue qui met en évidence les mécanismes dialectiques de la découverte en mathématique et la valeur heuristique des réfutations. S'adresse aux mathématiciens comme au philosophe et à l'historien des sciences. (Electre 2015)L'œuvre du mathématicien et philosophe hongrois Imre Lakatos, interlocuteur privilégié de Paul Feyerabend et successeur de Karl Popper à la Lonéon 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 à 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. |
Contents
Introduction de lauteur | 1 |
Un problème et une conjecture 7927 | 7 |
Critique de la conjecture à laide dun contreexemple global | 17 |
Copyright | |
13 other sections not shown
Common terms and phrases
Abel ALPHA arêtes avez axiomes BÊTA bord cadre caractéristique d'Euler concept de polyèdre conjecture naïve conjecture primitive contre-exemple global convergence uniforme critique critique mathématique cube cylindre d'arêtes définir définition DELTA développement diagonale Dirichlet dodécaèdre étoilé domaine énoncé EPSILON euclidienne exceptions exemple expérience mentale faces annulaires façon formule d'Euler GAMMA géométrie Gergonne graphe heuristique ibid Imre Lakatos k-chaîne KAPPA l'analyse l'extension de concepts l'heuristique Lakatos LAMBDA Legendre lemmes cachés Lhuilier logique maintenant MAÎTRE mathématiciens métamathématique méthode de relégation méthode des preuves méthodologie mise à plat OMÉGA parfaitement connus pense Poincaré Poinsot Pólya polyèdre simple polyèdres convexes polyèdres étoilés polyèdres eulériens polygones étoilés Popper preuve de Cauchy preuve-analytique preuves et réfutations problème prouver réfutationistes relégation d'exceptions relégation de monstres RHÔ S-A+F S−A+F séries de Fourier seulement SIGMA signification simplement connexes spéculation déductive sûr surface système tétraèdre théorème d'Euler théorie dominante THÊTA triangles trivialement tunnels validité variation bornée vérité vrai ZÊTA