Dissertações
UMA PROVA DE INCOMPLETUDE DA ARITMÉTICA BASEADA NO TEOREMA DAS DEFINIÇÕES RECURSIVAS
LUCIANO VICENTE
Dissertação
- Autor
- LUCIANO VICENTE
- Orientador(a)
- ANDRÉA MARIA ALTINO DE CAMPOS LOPARIC
- Universidade
- UNIVERSIDADE DE SÃO PAULO — USP
- Programa
- FILOSOFIA
- Grau
- MESTRADO
- Ano
- 2008
2008LUCIANO VICENTE. UMA PROVA DE INCOMPLETUDE DA ARITMÉTICA BASEADA NO TEOREMA DAS DEFINIÇÕES RECURSIVAS. 2008. Dissertação (MESTRADO em FILOSOFIA) — UNIVERSIDADE DE SÃO PAULO, SP. Orientador(a): ANDRÉA MARIA ALTINO DE CAMPOS LOPARIC.3
ESTA DISSERTAÇÃO ESTABELECE A INCOMPLETUDE DE UM SISTEMA FORMAL CUJAS ÚNICAS CONSTANTES NÃO-LÓGICAS SÃO 0 E S (RESPECTIVAMENTE, O NÚMERO NATURAL 0 E A FUNÇÃO SUCESSOR SEGUNDO A INTERPRETAÇÃO STANDARD), FUNDAMENTANDO-SE, PARA TANTO, EM UM TEOREMA CUJA PROVA NECESSITA ESSENCIALMENTE DA MAQUINÁRIA LÓGICA DE SEGUNDA-ORDEM E QUE FOI DESIGNADO DE TEOREMA DAS DEFINIÇÕES RECURSIVAS
Palavras-chave: