Cogito ergo sum non machina! Sobre o Reconhecimento Humano de Verdades

Autores

  • Ricardo Pereira Tassinari Departamento de Filosofia Universidade Estadual Paulista - UNESP / Campus Marília – SP
  • Itala M. Loffredo D’Ottaviano Grupo de Lógica Teórica e Aplicada Centro de Lógica, Epistemologia e História da Ciência Departamento de Filosofia Universidade Estadual de Campinas – UNICAMP – SP

Palavras-chave:

Sistemas formais, Algoritmos, Teoremas de Gödel.

Resumo

O objetivo deste artigo é discutir sobre a existência de limites para a possibilidade de modelagem do comportamento humano por sistemas formais ou algoritmos computacionais. Mais especificamente, o artigo trata da impossibilidade de modelagem completa por algoritmos ou teorias formais da capacidade humana de estabelecer a veracidade de fórmulas da aritmética de primeira ordem. A resposta aqui apresentada, baseada em uma nova análise feita a partir do Primeiro Teorema da Incompletude de Gödel, busca apresentar o porquê e como esse teorema implica na impossibilidade de construção de tal modelagem.

Biografia do Autor

Itala M. Loffredo D’Ottaviano, Grupo de Lógica Teórica e Aplicada Centro de Lógica, Epistemologia e História da Ciência Departamento de Filosofia Universidade Estadual de Campinas – UNICAMP – SP

 

Downloads

Edição

v. 10 n. 2 (2009)

Seção

Artigos Cognitio