Dissertação
- Autor
- RAIMUNDO NONATO A. PORTELA FILHO
- Universidade
- UNIVERSIDADE FEDERAL DA PARAÍBA ( JOÃO PESSOA ) — UFPB-JP
- Programa
- FILOSOFIA
- Grau
- MESTRADO
- Ano
- 1990
1990RAIMUNDO NONATO A. PORTELA FILHO. ALGUMAS CONSIDERACOES SOBRE A TESE DE CHURCH-TURING. 1990. Dissertação (MESTRADO em FILOSOFIA) — UNIVERSIDADE FEDERAL DA PARAÍBA ( JOÃO PESSOA ), PB.2
EXPOMOS DUAS VERSOES FORMAIS DA NOCAO INTUITIVA DE FUNCAO ALGORITMICA, A SABER, AS FUNCOES RECURSIVAS E AS TURING-COMPUTAVEIS. PROVAMOS A EQUIVALENCIA ENTRE AS FUNCOES RECURSIVAS PARCIAIS E AS TURING-COMPUTAVEI S.MENCIONAMOS, TAMBEM, OUTROS FORMALISMOS.ALEM DISSO, FAZEMOS UMA ANALISE DA TESE DE CHURCH-TURING APRESENTANDO UM BREVE HISTORICO DE SUA FORMULACAO, ARGUMENTOS PRO E CONTRA, ASSIM COMO ALGUMAS CONSIDERACOES SO BRE O SEU SIGNIFICADO.