Olá a todos. A *Cognitio*, Revista de Filosofia da PUC-SP, lançou um exemplar em homenagem ao Prof. Lafayette, com artigos sobre Lógica: v. 10, n. 2, Julho-Dezembro 2009.
Vou ficar devendo o índice, pois ele ainda não está online. Mas aproveito a volta do assunto mente vs. máquina para divulgar a publicação do artigo: TASSINARI, R. P. ; D'OTTAVIANO, I. M. L. Cogito Ergo Sum Non Machina! Sobre o Reconhecimento Humano de Verdades da Aritmética e Máquinas de Turing. * Cognitio* (PUCSP), v. 10, n.2, pp. 221-230, 2009. 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. Quem quiser ler o artigo para mostrar as possíveis falhas do argumento é muito bem vindo! Abraço a todos, Ricardo. -- Dr. Ricardo Pereira Tassinari - Departamento de Filosofia UNESP - Faculdade de Filosofia e Ciências - Marília Homepage: http://www.marilia.unesp.br/ricardotassinari
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
