# Imre Lakatos

Imre Lakatos (Debrecen, 9 de novembro de 1922 — Londres, 2 de fevereiro de 1974) foi um filósofo da matemática e da ciência húngaro.

## Biografia

Lakatos nasceu com o nome Imre (Avrum) Lipschitz em uma família judia em Debrecen, Hungria em 1922. Graduou-se em matemática, física, e filosofia da Universidade de Debrecen em 1944. Ele evitou a perseguição nazista dos judeus mudando seu nome para Imre Molnár. Sua mãe e sua avó morreram em Auschwitz. Ele se tornou um comunista ativo durante a Segunda Guerra Mundial. Ele mudou seu sobrenome mais uma vez para Lakatos (serralheiro) em honra de Géza Lakatos.
Depois da guerra continuou seus estudos de doutorado na Universidade de Debrecen em 1948, onde também frequentou aos seminários privados semanais de Georg Lukács às quartas-feiras. Ele também estudou na Universidade Estatal de Moscovo sob a supervisão de Sofya Yanovskaya. Quando retornou à Hungria trabalhou como oficial senior no Ministério da Educação Húngaro. No entanto, acabou por estar no lado perdedor das discussões internas dentro do partido comunista húngaro e esteve preso sob a acusação de revisionismo desde 1950 até 1953. Só recentemente se soube mais das suas actividades depois da Segunda Guerra Mundial. (ver John Kadvany)
Depois da sua libertação, Lakatos regressou à vida académica, fazendo pesquisa em Matemática e traduzindo o How to Solve It de George Pólya para o húngaro. Embora ainda fosse comunista de nome, os seus pontos de vista políticos mudaram muito e envolveu-se em pelo menos um grupo dissidente de estudantes numa altura em que se viria a dar a Revolução Húngara de 1956. $^[$
Depois de a União Soviética invadir a Hungria em novembro de 1956, Lakatos voou para Viena, e chegou mais tarde à Inglaterra. Doutorou-se em filosofia em 1961 na Universidade de Cambridge. O livro Provas e Refutações, publicado depois de sua morte, é baseado nesse trabalho.
Lakatos nunca obteve a cidadania britânica, e com efeito permaneceu apátrida.
Em 1960 foi nomeado para um lugar na London School of Economics, onde trabalhou nos seus escritos sobre filosofia da matemática e filosofia da ciência. O departamento de filosofia da LSE da altura incluía Karl Popper e John Watkins.
Tendo como co-editor Alan Musgrave, editou o muito citado Criticism and the Growth of Knowledge, os Proceedings do Colóquio Internacional de Filosofia da Ciência, de 1965, em Londres. Publicado em 1970, o Colóquio de 1965 incluía intervenientes muito conhecidos que apresentavam artigos em resposta à obra A Estrutura das Revoluções Científicas de Thomas Kuhn. Segundo Alan Musgrave, Thomas Kuhn era tão popular durante os anos 60 que as pessoas chegavam a assistir às suas aulas em salas adjacentes, ouvindo-o através de sistemas de som.
Permaneceu na London School of Economics até morrer, repentinamente, em 1974, com uma hemorragia cerebral, tendo apenas 51 anos. O Prémio Lakatos foi estabelecido pela escola em sua memória.
Parte da sua correspondência com o seu amigo e crítico Paul Feyerabend foi publicada em For and Against Method (ISBN 0226467740).

## Provas e refutações - A Lógica do Descobrimento Matemático

A filosofia da matemática de Lakatos foi inspirada tanto pela dialética de Hegel quanto de Marx, pela teoria do conhecimento de Karl Popper, e o trabalho do matemático George Polya.
O livro Proofs and Refutations - The Logic of Mathematical Discovery é baseado em sua tese de doutorado. O livro se inicia com um diálogo fictício em uma aula de matemática, onde os alunos tentam provar a Fórmula de Euler para poliedros. Essa fórmula é um teorema sobre as propriedades de poliedros que afirma que, para todos os poliedros, a fórmula V - A + F = 2 é verdadeira, onde V é o número de vértices, A é o número de arestas e F é o número de faces. O diálogo representa uma série de tentativas de prova que matemáticos, historicamente, ofereceram para a conjectura, apenas para serem repetidamente refutados por contraexemplos. Da mesma forma, os estudantes tentam provar a fórmula de Euler para poliedros, mas suas tentativas são refutadas por contraexemplos. Esse ciclo de proposta de conjectura, tentativa de prova e refutação por contraexemplo é fundamental para a visão de Lakatos sobre a natureza da atividade matemática. Assim, o início do livro estabelece a base para uma análise filosófica da prática matemática, destacando a importância da dinâmica de prova e refutação na evolução do conhecimento matemático. Lakatos explora como a matemática avança através do confronto ativo de ideias, em contraste com a visão tradicional de uma progressão linear e puramente dedutiva.
O que Lakatos tentou estabelecer foi que nenhum teorema de matemática é final ou perfeito. Isso significa que não devemos pensar que um teorema é ultimamente verdadeiro, apenas que nenhum contraexemplo foi encontrado até agora. Uma vez que um contraexemplo é encontrado, ajustamos o teorema, possivelmente ampliando o domínio de sua validade. Este é um modo contínuo pelo qual nosso conhecimento se acumula, por meio da lógica e do processo de provas e refutações (se axiomas forem dados para um ramo da matemática, no entanto, Lakatos afirmou que as provas a partir desses axiomas eram tautológicas, ou seja, logicamente verdadeiras).

## Principais trabalhos

* Lakatos, Musgrave ed. (1970). Criticism and the Growth of Knowledge. Cambridge: Cambridge University Press. ISBN 0521078261
* Lakatos (1976). Proofs and Refutations. Cambridge: Cambridge University Press. ISBN 0521290384
* Lakatos (1977). The Methodology of Scientific Research Programmes: Philosophical Papers Volume 1. Cambridge: Cambridge University Press
* Lakatos (1978). Mathematics, Science and Epistemology: Philosophical Papers Volume 2. Cambridge: Cambridge University Press. ISBN 0521217695