Banca de DEFESA: José Henrique Fonseca Franco

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : José Henrique Fonseca Franco
DATA : 24/02/2022
HORA: 14:00
LOCAL: UFSJ
TÍTULO:

Os desdobramentos dos teoremas de incompletude de Gödel na filosofia da matemática

PALAVRAS-CHAVES:

Filosofia da Matemática. Noção de Consistência. Sistemas Formais. Teorias Aritméticas. Epistemologia. 

PÁGINAS: 110
RESUMO:

A fundamentação da matemática é uma questão que ocupou lógicos, matemáticos e filósofos no final do século XIX e início do século XX. Nesse debate, a vertente formalista surge como uma alternativa especialmente promissora. O formalismo de Hilbert conferia autonomia à matemática, uma vez que seu programa concebia a matemática como um conjunto de regras. A axiomatização de Hilbert conferia cada vez mais independência da atividade matemática em relação às intuições, evidenciando seu aspecto lógico-dedutivo. Os teoremas de incompletude de Gödel revelam, entretanto, as dificuldades de se implementar o projeto formalista, uma vez que a incompletude de teorias aritméticas abre uma espécie de hiato entre as regras e as verdades aritméticas. De modo geral, os teoremas de Gödel mostram que em sistemas formais tais como o Principia Mathematica de Russell e Whitehead, se a aritmética é consistente não pode ser completa, ou seja, existem enunciados aritméticos que não podem ser demonstrados nem refutados. Isso nos leva a refletir sobre os pressupostos filosóficos das correntes fundacionistas, principalmente do logicismo e do formalismo. Nesse sentido, nosso objetivo aqui foi apresentar as principais correntes fundacionistas da filosofia da matemática, ou seja, o logicismo, o intuicionismo e o formalismo, conferindo ênfase ao programa formalista. A partir das consequências para o formalismo hilbertiano por meio da apresentação dos teoremas de incompletude de Gödel, traçamos um paralelo com os objetivos do programa funcionalista na filosofia da mente, evidenciando assim aspectos relevantes da epistemologia da matemática.

MEMBROS DA BANCA:
Interno - 2124075 - RODRIGO AZEVEDO DOS SANTOS GOUVEA
Interno - 1550948 - MARCO AURELIO SOUSA ALVES
Externo à Instituição - GUILHERME ARAÚJO CARDOSO - UFOP
Externo à Instituição - HENRIQUE ANTUNES ALMEIDA - UFMG