Preuves et réfutations: essai sur la logique de la découverte mathématique

Front Cover
Hermann, 1984 - Logic - 218 pages
Un 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.

From inside the book

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

Bibliographic information