Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticas

Detalhes bibliográficos
Autor(a) principal: Tassinari, Ricardo Pereira
Data de Publicação: 2003
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1597004
Resumo: Orientador: Itala Maria Loffredo D'Ottaviano
id UNICAMP-30_75c619db3d185648086ef52e3384aedf
oai_identifier_str oai::303374
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticasTeoria da computaçãoInteligência artificialTeoria dos sistemasSistemas auto-organizadoresLogica de primeira ordemLógica simbólica e matemáticaLinguagem e lógicaOrientador: Itala Maria Loffredo D'OttavianoTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: 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 verdadeirasAbstract: 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 formulaeDoutoradoDoutor em Filosofia[s.n.]D'Ottaviano, Itala Maria Loffredo, 1944-Manzolli, JônatasGonzales, Maria Eunice QuiliciFeitosa, Hercules de AraujoPessoa Junior, OsvaldoUniversidade Estadual de Campinas. Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação não informadoUNIVERSIDADE ESTADUAL DE CAMPINASTassinari, Ricardo Pereira20032003-12-12T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf238p. : il.(Broch.)https://hdl.handle.net/20.500.12733/1597004TASSINARI, Ricardo Pereira. Incompletude e auto-organização: sobre a determinação de verdades logicas e matemáticas. 2003. 238p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1597004. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/303374porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T03:54:54Zoai::303374Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T03:54:54Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticas
title Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticas
spellingShingle Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticas
Tassinari, Ricardo Pereira
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
title_short Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticas
title_full Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticas
title_fullStr Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticas
title_full_unstemmed Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticas
title_sort Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticas
author Tassinari, Ricardo Pereira
author_facet Tassinari, Ricardo Pereira
author_role author
dc.contributor.none.fl_str_mv D'Ottaviano, Itala Maria Loffredo, 1944-
Manzolli, Jônatas
Gonzales, Maria Eunice Quilici
Feitosa, Hercules de Araujo
Pessoa Junior, Osvaldo
Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação não informado
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Tassinari, Ricardo Pereira
dc.subject.por.fl_str_mv 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
topic 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
description Orientador: Itala Maria Loffredo D'Ottaviano
publishDate 2003
dc.date.none.fl_str_mv 2003
2003-12-12T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1597004
TASSINARI, Ricardo Pereira. Incompletude e auto-organização: sobre a determinação de verdades logicas e matemáticas. 2003. 238p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1597004. Acesso em: 2 set. 2024.
identifier_str_mv (Broch.)
TASSINARI, Ricardo Pereira. Incompletude e auto-organização: sobre a determinação de verdades logicas e matemáticas. 2003. 238p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1597004. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1597004
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/303374
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
238p. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188902885392384

Registros relacionados