Kurt Gödel y San Agustín : platonismo matemático y la existencia de Dios

Abstract

Resumen: El trabajo explica el siguiente razonamiento: si las verdades matemáticas no son creación humana, entonces necesariamente hay que aceptar la existencia de un Intelecto Eterno que sea su sustento metafísico. La premisa es defendida a partir del descubrimiento gödeliano de la imposibilidad de formalizar la totalidad de las matemáticas en un sistema deductivo formal. A partir de allí se muestra la necesidad de admitir una existencia eidética objetiva de las “entidades matemáticas”. Luego, tomando un argumento de San Agustín en De libero arbitrio, se llega a la necesidad de la existencia de Dios como Intelecto que sostiene el ser de las Ideas.

Resumo: O trabalho explica o seguinte raciocinio: se as verdades matemáticas näo säo criaçäo humana, entäo necessariamente tem de aceitar a existência de um Inteleto Eterno que seja seu sustento metafísico. A premissa é defendida a partir da descoberta godeliana da impossibilidade de formalizar a totalidade das matemáticas em um sistema formal dedutivo. A partir dali mostra-se a necessidade de admitir uma existência objetiva eidética das "entidades matemáticas". Entäo, tomando um argumento de Säo Agostinho em De Libero Arbitrio, chega-se à necessidade da existencia de Deus como Inteleto que segura o ser das idéias.