On the Philosophical Import of Some Accomplishments of Newton da Costa

Resumo

Das obras de Newton da Costa, muitas pessoas na França conhecem apenas o renascimento da paraconsistência. Apresentamos algumas razões em defesa de investigações nessa parte da lógica. Acima de tudo, porém, relembramos uma das maiores contribuições de Newton da Costa: sua demonstração, em 1991, em colaboração com Doria, da indecidibilidade gödeliana do movimento na física matemátcia, um resultado que foi de certa forma previsto, por outras razões, por Duhem em 1906.