""""Incompletude e auto-organização: sobre a determinação de verdades lógicas e matemáticas""""

O objetivo central da tese consiste em analisar os processos de determinação de verdades aritméticas e verdades lógicas de ordens superiores, a partir de uma análise dos resultados decorrentes dos Teoremas de Incompletude de Göbel e da teoria de auto-organização de Debrun, para mostrar que eles constiuem 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 de literatura.