Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/279844
Type: TESE
Degree Level: Doutorado
Title: Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticas
Author: Tassinari, Ricardo Pereira
Advisor: D'Ottaviano, Itala Maria Loffredo, 1944-
Abstract: Resumo: Os Teoremas da Incompletude de Gödel têm sido, recorrentemente, citados nos estudos sobre auto-organização, como propiciando exemplos de processos não-mecânicos e verdadeiramente auto-organizados. Um dos fundamentos desses estudos está relacionado às análises que afirmam que os resultados obtidos por Gödel, associados à Tese/Definição de Church sobre calculabilidade, implicam na impossibilidade de uma modelagem mecânica completa de processos relativos à cognição humana. Dois desses processos que podem ser citados como auto-organizados, e cuja não-mecanicidade decorreria dos teoremas de Gödel, seriam os processos de determinação de fórmulas verdadeiras de teorias aritméticas de primeira ordem e de determinação de fórmulas verdadeiras de lógicas de ordens superiores, já que existem resultados lógico-matemáticos de incompletude desses sistemas formais. O objetivo central desta Tese consiste em analisar esses processos de determinação de verdades aritméticas e de verdades de lógicas de ordens superiores, a partir de uma análise dos resultados decorrentes dos teoremas de Gödel e da Teoria da Auto-Organização de Debrun, para mostrar que eles constituem processos não-mecânicos, segundo a acepção da Tese/Definição de Church, e auto-organizados, segundo Debrun. Apresentamos, preliminarmente, uma demonstração cuidadosa do Segundo Teorema da Incompletude de Gödel e uma introdução à Teoria da Auto-Organização de Debrun; bem como realizamos uma análise detalhada de como os resultados obtidos a partir do Segundo Teorema de Gödel permitem concluir que existem processos não-mecânicos, no sentido da Tese/Definição de Church, por argumentos distintos dos utilizados em alguns trabalhos da literatura. Mostramos que sempre existe um sistema formal cujo conjunto de teoremas é exatamente o conjunto de fórmulas determinadas como verdadeiras por qualquer função recursiva parcial que simule a capacidade humana de determinação de verdades aritméticas de primeira ordem e de verdades de lógicas de ordens superiores, enquanto, segundo o Segundo Teorema da Incompletude de Gödel, não existem sistemas formais cujos teoremas sejam todas as fórmulas que conseguimos identificar como verdadeiras

Abstract: Gödel¿s Incompleteness Theorems have been mentioned in the studies on self-organization as providing examples of non-mechanical and truly self-organized processes. One of the fundaments of these studies is related to the analyses that assert that Gödel¿s results, associated to Church¿s Thesis/Definition on calculability, imply the impossibility of complete mechanical modeling of processes related to human cognition. Two of these processes that can be mentioned as self-organized, whose non-mechanicity is implied by Gödel¿s theorems, would be the process of determination of true formulae of first order arithmetical theories and the process of determination of true formulae of higher-order logics, since there are logical-mathematical results on the incompleteness of these formal systems. The central aim of this Thesis is to analyze these processes of determination of first order arithmetical truths and higher-order logical truths, from an analysis of the results from Gödel¿s theorems and Debrun¿s Self-Organization Theory, in order to show that these processes constitute non-mechanical self-organized processes, according to Church¿s Thesis/Definition and Debrun¿s Theory. Preliminarily, we present a careful proof of Gödel¿s Second Incompleteness Theorem and an introduction to Debrun¿s Self-Organization Theory; as well as we analyze, in detail, how the results obtained from Gödel¿s theorems allow us to conclude that non-mechanical processes exists, in the sense of Church¿s Thesis/Definition, by using arguments that do not appear in known papers in the literature. We show that there is always a formal system whose set of theorems is exactly the set of formulae determined as true by any partial recursive function that simulates the human capability of determination of first order arithmetical truths and higher-order logical truths, while, according to Gödel¿s Second Incompleteness Theorem, there is no formal system whose theorems are all the formulae that we can identify as true formulae
Subject: Teoria da computação
Inteligência artificial
Teoria dos sistemas
Sistemas auto-organizadores
Logica de primeira ordem
Lógica simbólica e matemática
Linguagem e lógica
Language: Português
Editor: [s.n.]
Date Issue: 2003
Appears in Collections:IFCH - Tese e Dissertação

Files in This Item:
File SizeFormat 
Tassinari_RicardoPereira_D.pdf1.18 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.