Dissertações
Estudo das consequencias epistemologicas do teorema de Goedel e do problema da palavra para semi-grupos em Inteligencia Artificial.
GARIBALDI MONTEIRO SARMENTO
Dissertação
- Autor
- GARIBALDI MONTEIRO SARMENTO
- Orientador(a)
- JOAO DE FERNANDES TEIXEIRA
- Universidade
- UNIVERSIDADE FEDERAL DE SÃO CARLOS — UFSCAR
- Programa
- FILOSOFIA E METODOLOGIA DAS CIÊNCIAS
- Grau
- MESTRADO
- Ano
- 1995
1995GARIBALDI MONTEIRO SARMENTO. Estudo das consequencias epistemologicas do teorema de Goedel e do problema da palavra para semi-grupos em Inteligencia Artificial.. 1995. Dissertação (MESTRADO em FILOSOFIA E METODOLOGIA DAS CIÊNCIAS) — UNIVERSIDADE FEDERAL DE SÃO CARLOS, SP. Orientador(a): JOAO DE FERNANDES TEIXEIRA.1
ESTA DISSERTACAO E UM ENSAIO SOBRE A SIGNIFICACAO E AS IMPLICACOES FI-LOSOFICO-CIENTIFICAS DE ALGUNS RESULTADOS DE METAMATEMATICA (OU DE TEORIA DA DEMONSTRACAO),PARTICULARMENTE DOS TEOREMAS DE GOEDEL (SOBRE IM- COMPLETUDE), DE CHURCH (SOBRE INDECIDIBILIDADE),E DO PROBLEMA DA PALA-VRA PARA SEMI-GRUPOS; BEM COMO, DE ASPECTOS TECNICOS DA TEORIA DA COMPUTACAO E DA TEORIA DA COMPLEXIDADE COMPUTACIONAL. FAZ-SE, POR CONSE- GUINTE, UMA ANALISE DAS CONSEQUENCIAS EPISTEMOLOGICAS (RELATIVAS AS CONDICOES E LIMITES) DE TEORIAS DA INTELIGENCIA ARTIFICIAL, QUE SE INSCREVEM NO AMBITO DAS CIENCIAS COGNITIVAS E DA FILOSOFIA DA MENTE. O ES
Palavras-chave: