A Demonstração Matemática da Perspectiva da Lógica Matemática

Resumo

Este artigo trata da demonstração em matemática, enfatizando três de seus aspectos, o retórico, o lógicoepistemológico e o heurístico. Isto é, a demonstração matemática é considerada aqui como simultaneamente uma peça de retórica destinada a convencer, como um encadeamento lógico conduzindo à verdade e ao conhecimento e como um possível catalisador de descoberta matemática. Argumenta-se que apesar dessa diversidade de aspectos, considerada como um objeto matemático ela própria, a demonstração matemática é tratável apenas em seu aspecto lógico. Argumenta-se ainda que a finitude, usualmente considerada como um caráter essencial das demonstrações, pertence apenas a seu aspecto retórico, sendo meramente acidental do ponto de vista estritamente lógico.