La publication de Preuves et Réfutations a entraîné un changement radical dans la théorie mathématique, présentant la discipline comme une entreprise humaine faillible plutôt que comme un ensemble de vérités statiques. Cet ouvrage, issu de la thèse de doctorat d'Imre Lakatos soutenue en 1961 à l'Université de Cambridge, a eu recours à un dialogue fictif pour contester les perspectives établies sur l'histoire et la méthodologie du progrès scientifique.
Jeunesse et activité politique en Hongrie
Né à Debrecen en 1922, Lakatos a d'abord étudié les mathématiques, la physique et la philosophie à l'Université de Debrecen, obtenant son diplôme en 1944. Pendant l'occupation allemande de la Hongrie, il a pris part à un groupe de résistance marxiste sous le pseudonyme de Molnár pour échapper aux persécutions. Après la guerre, il a occupé un poste de direction au ministère hongrois de l'Éducation et a poursuivi ses études à Moscou sous la direction de Sofia Ianovskaïa. Sa trajectoire politique a pris un tournant après son emprisonnement pour révisionnisme entre 1950 et 1953. Lors de la révolution hongroise de 1956, ses sympathies s'étaient tournées vers la dissidence, ce qui l'a finalement conduit à fuir à Vienne puis à s'installer en Angleterre.
Carrière académique à la London School of Economics
À son arrivée au Royaume-Uni, Lakatos a rejoint la London School of Economics and Political Science en 1960. Il y est resté jusqu'à sa mort en 1974. Durant cette période, il a collaboré avec des personnalités telles que Karl Popper et Joseph Agassi, s'imposant au sein d'un cercle axé sur la philosophie des sciences. Il a été rédacteur en chef du British Journal for the Philosophy of Science de 1971 à 1974, jouant un rôle central dans l'organisation du Colloque international de philosophie des sciences de 1965.
Méthodologie des programmes de recherche
Lakatos a élaboré le concept de programme de recherche pour expliquer l'évolution de la science. Selon lui, le progrès scientifique se définit par le développement de programmes concurrents, constitués d'un noyau dur de principes fondamentaux protégé par une ceinture d'hypothèses auxiliaires. Il a analysé l'histoire des sciences à travers ces cadres, évaluant notamment la théorie de la relativité d'Einstein et la théorie ondulatoire de la lumière de Fresnel. Ses réflexions sur cette méthodologie, ainsi que ses débats avec Paul Feyerabend, ont ensuite été compilées dans des ouvrages tels que Contre la méthode et Pour la méthode.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Philosophie mathématique et démonstrations
Sa principale contribution philosophique s'est concentrée sur les étapes pré-axiomatiques des mathématiques. Dans Preuves et Réfutations, il a soutenu que les théorèmes mathématiques font l'objet d'une révision constante par la découverte de contre-exemples. Il s'est servi de la formule caractéristique d'Euler, V - E + F = 2, pour illustrer la manière dont les mathématiciens réagissent historiquement aux anomalies par l'interdiction de monstres, l'ajustement de monstres ou le traitement des exceptions. Ce cadre soulignait que les mathématiques ne se développent pas par le biais d'une certitude monolithique, mais à travers un processus dialectique de conjecture et de réfutation.
En bref
- Naissance : 1922, Debrecen, Hongrie - Décès : 1974, Londres, Royaume-Uni - Formation : Université de Debrecen, Université d'État de Moscou Lomonossov, Université de Cambridge - Employeurs : Ministère de l'Éducation et des Cultes, London School of Economics - Œuvres notables : Preuves et Réfutations, Contre la méthode (et Pour la méthode) - Langues parlées : Hongrois, anglais - Domaine d'étude : Philosophie des mathématiques et des sciences
Questions des lecteurs
### Quel est l'argument central de Preuves et Réfutations ?
Il soutient que les mathématiques ne constituent pas un ensemble de vérités infaillibles, mais qu'elles évoluent à travers un processus d'essais, d'erreurs et de raffinement des démonstrations.
### Qu'est-ce qu'un programme de recherche scientifique ?
Il s'agit d'un cadre proposé par Lakatos pour décrire comment les théories scientifiques sont protégées par des hypothèses auxiliaires et évaluées par leur succès ou leur échec au fil du temps.
