Sobre o Infinitésimo e o Cálculo Diferencial Paraconsistente de Da Costa

Resumo

Apresentamos, neste artigo, algumas notas históricas relativas ao conceito de infinitésimo, desde as origens do cálculo diferencial e integral de Leibniz e Newton à análise não-standard de Robinson. Introduzimos o cálculo diferencial paraconsistente de da Costa e alguns de seus resultados relevantes. Concluímos com um Teorema de Transferência do cálculo diferencial clássico para o cálculo diferencial paraconsistente.