Banca de DEFESA: GUSTAVO CAVALCANTI DE MELO

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: GUSTAVO CAVALCANTI DE MELO
DATA: 24/10/2016
HORA: 14:30
LOCAL: CCHLA - UFPB
TÍTULO: Funções parciais recursivas e funções parcialmente Turing-computáveis: uma prova de equivalência
PALAVRAS-CHAVES: função parcial recursiva, função recursiva, função recursiva primitiva, teorema de Rice, problema de decisão.
PÁGINAS: 113
GRANDE ÁREA: Ciências Humanas
ÁREA: Filosofia
SUBÁREA: Lógica
RESUMO: As nocoes de funcao parcial recursiva e de funcao parcialmente Turing-computavel, definidas na primeira metade do seculo XX, foram apresentadas como a contraparte formal da nocao intuitiva de funcao parcial algoritmica. Neste contexto, esta pesquisa destina-se a desenvolver uma prova alternativa – utilizando quintuplas – de que ambas as nocoes, apesar de conceitualmente distintas, sao extensionalmente equivalentes no sentido de que determinam o mesmo conjunto de funcoes numericas, e a demonstrar, em termos aritmeticos, com o auxilio do Teorema de Rice, que embora este conjunto seja decidivel, ele contem infinitos subconjuntos indecidiveis, dentre os quais estao o conjunto das funcoes recursivas e o conjunto das funcoes recursivas primitivas.
MEMBROS DA BANCA:
Interno - 334109 - ANA LEDA DE ARAUJO
Externo ao Programa - 1345968 - GARIBALDI MONTEIRO SARMENTO
Presidente - 329455 - MATIAS FRANCISCO DIAS
Externo à Instituição - RODRIGO COSTA FERREIRA