Preuves et réfutations

Introduction

Le texte est issu de la thèse de doctorat d’Imre Lakatos à Cambridge (1961) et parut en quatre parties dans le British Journal for the Philosophy of Science en 1963–1964 ; après sa mort en 1974, John Worrall et Elie Zahar l’éditèrent en livre. Dans une classe imaginaire, un maître et des élèves portant des noms de lettres grecques discutent la conjecture d’Euler selon laquelle, pour tout polyèdre, les nombres de sommets, d’arêtes et de faces vérifient S – A + F = 2. Chaque contre-exemple – un cube percé d’un trou cubique, un cadre de tableau – force à un choix : l’écarter comme un « monstre », restreindre le théorème, ou améliorer le concept de polyèdre et la preuve. Lakatos applique le faillibilisme de Popper aux mathématiques, contre les conceptions formalistes de celles-ci.

Autres œuvres de Imre Lakatos

• 1970La falsification et la méthodologie des programmes de recherche scientifiques