O Infinito - Departamento de Matemática da Universidade do Minho

O Infinitésimos e a Análise Não-Standard Capítulo 5
experiência sugere que, maioritariamente, demonstrações usando Análise Não-Standard
tendem a ser mais curtas e directas. No entanto, a Análise Não-Standard requer um
background muito diferente do da Análise Clássica, o que se torna numa clara
dificuldade, pois neste novo universo tem que se investir muito esforço inicial antes de
se começar a ter lucro.
Desta forma, o método dos infinitésimos foi, pela primeira vez, dotado de uma
fundamentação formal precisa. E o infinito actual voltou a emergir na Análise,
povoando agora um universo que é maior do que o da Aritmética Real, ao qual podemos
recorrer para resolver os nossos problemas em .
50