Papa Leão XIV é o primeiro pontífice com formação universitária em ciências matemáticas

O Papa Leão XIV tornou-se o primeiro pontífice a possuir formação universitária em ciências matemáticas, tendo se graduado na Universidade de Villanova, na Pensilvânia, em 1977. Antes de sua ordenação sacerdotal, Robert Francis Prevost atuou como professor de matemática e física. Em celebração ao Dia Internacional da Matemática, ocorrido em 14 de março, o pontífice destacou que os matemáticos representam um sinal de esperança global, embora tenha ressaltado que o acúmulo de conhecimento técnico é insuficiente se não houver a compreensão sobre a identidade humana e o sentido da vida.

A intersecção entre a matemática e a busca pela divindade foi explorada historicamente por diversos estudiosos, com destaque para o lógico, filósofo e matemático austríaco Kurt Gödel. Em 1941, Gödel desenvolveu uma tentativa de comprovar a existência de Deus, mantendo o trabalho em sigilo até o fim de sua vida. Amigo de Albert Einstein, o lógico utilizou a lógica modal — especificamente o sistema S5 — para formalizar argumentos que haviam sido propostos nove séculos antes por San Anselmo de Canterbury.

A abordagem de Gödel baseou-se no uso de advérbios para definir o que é necessariamente ou possivelmente verdadeiro, em vez de se restringir a afirmações binárias de verdade ou falsidade. Através de axiomas e definições específicas, ele buscou demonstrar que a existência de Deus seria uma necessidade lógica.

Contudo, a validade dessa demonstração matemática enfrenta questionamentos técnicos devido à natureza da lógica formal. A construção do teorema depende da escolha de axiomas que já pressupõem a existência de um ser com propriedades divinas, criando o que se caracteriza como uma armadilha argumentativa. Dessa forma, a prova não parte de premissas aleatórias, mas de fundamentos selecionados para convergir ao resultado desejado. Atualmente, o Papa Leão XIV observa a inteligência artificial como uma ferramenta que pode oferecer novas perspectivas sobre esse debate histórico entre a matemática e a religião.