Dissertações
OBJETOS IMITADORES: TEOREMAS LIMITATIVOS PENSADOS A PARTIR DA COMPUTAÇÃO
EUCLIDES TORRES OMETTO STOLF
Dissertação
Ver fonte original- Autor
- EUCLIDES TORRES OMETTO STOLF
- Orientador(a)
- EDELCIO GONCALVES DE SOUZA
- Universidade
- UNIVERSIDADE DE SÃO PAULO — USP
- Programa
- FILOSOFIA
- Grau
- MESTRADO
- Ano
- 2022
2022EUCLIDES TORRES OMETTO STOLF. OBJETOS IMITADORES: TEOREMAS LIMITATIVOS PENSADOS A PARTIR DA COMPUTAÇÃO. 2022. Dissertação (MESTRADO em FILOSOFIA) — UNIVERSIDADE DE SÃO PAULO, SP. Orientador(a): EDELCIO GONCALVES DE SOUZA.2
TEMOS COMO OBJETIVO ANALISAR FENÔMENOS DE AUTORREFERÊNCIA NA LÓGICA E NA COMPUTAÇÃO, ESTABELECENDO RESULTADOS LIMITANTES PARA AMBAS AS ÁREAS. EM ESPECIAL DAMOS UMA EXPOSIÇÃO UNIFICADA PARA O TEOREMA DA INCOMPLETUDE, TANTO NA SUA FORMULAÇÃO CONSTRUÍDA POR GÖDEL, QUANTO NA VERSÃO DEMONSTRADA POR CHAITIN.