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. |
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
Un problème et une conjecture | 7 |
Critique de la conjecture à laide dun contreexemple global | 17 |
Critique de la preuveanalytique par un contreexemple global et non local | 54 |
Copyright | |
12 other sections not shown
Common terms and phrases
accepter ALPHA améliorée appeler arêtes aurait avez avons BÊTA bord c'est-à-dire cachées cadre Cauchy certainement changer clair complètement concept conditions conjecture conjecture naïve connaissance connexes considérer continuité contre-exemple convergence critique cube d'abord d'autres d'Euler découverte déductive définir définition DELTA dernière développement devrait différence dire Dirichlet doit domaine donne énoncé EPSILON étoilés eulérien évidence exceptions exemple expliquer faces façon Figure fonction forme formule Fourier GAMMA général global heuristique idée j'ai KAPPA l'extension l'un Lakatos langage lemmes Lhuilier limite logique maintenant MAÎTRE mathématiciens mathématiques méthode mise monstres nombre note nouveau nouvelle OMÉGA parfaitement particulier pense peuvent philosophie polyèdre polygones pourrait pouvez première présente preuve preuve-analytique problème propos proposition qu'une question raison réaliser recherche réellement réfutations Règle relation relégation remarquer remplacer rien rigueur S-A+F savoir science second semble sens séries seulement SIGMA signification simple sommets suivant sûr surface système termes théorème théorie triangles trouve type validité vérité vrai ZÊTA