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.
From Newton da Costa’s works, many people in France know only the revival of paraconsistency. We give some reasons in defence of investigations in this part of logic. But above all we recall one of the major contributions of Newton da Costa: his proof, in 1991, in collaboration with Doria, of the gödelian undecidability of motion in mathematical physics, a result which was somewhat foreseen on other grounds by Duhem in 1906.
