Cogito ergo sum non machina! On the Human Recognition of Truths in Arithmetic and Turing Machines

Detalhes bibliográficos
Autor(a) principal: Tassinari, Ricardo Pereira
Data de Publicação: 2013
Outros Autores: D’Ottaviano, Itala M. Loffredo
Tipo de documento: Artigo
Idioma: por
Título da fonte: Cognitio (São Paulo. Online)
Texto Completo: https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/12871
Resumo: The objective of this paper is to discuss the existence of limits in thepossibility of modeling human behavior by formal system or computationalalgorisms. More specifically, we will discuss herein the impossibility ofcompletely modeling by algorisms or formal theories the human capability ofestablishing the truth of first order arithmetical formula. The answer exposedhere is based on a new analysis of the consequences of Gödel’s First Incompleteness Theorem and we will show here why and how this Theoremimplies the impossibility of such a modelling.
id PUC_SP-15_f74b7da153462ed064b3d0389720c767
oai_identifier_str oai:ojs.pkp.sfu.ca:article/12871
network_acronym_str PUC_SP-15
network_name_str Cognitio (São Paulo. Online)
repository_id_str
spelling Cogito ergo sum non machina! On the Human Recognition of Truths in Arithmetic and Turing MachinesCogito ergo sum non machina! Sobre o Reconhecimento Humano de VerdadesFormal systemsAlgorithmsGödel’s theoremsSistemas formaisAlgoritmosTeoremas de Gödel.The objective of this paper is to discuss the existence of limits in thepossibility of modeling human behavior by formal system or computationalalgorisms. More specifically, we will discuss herein the impossibility ofcompletely modeling by algorisms or formal theories the human capability ofestablishing the truth of first order arithmetical formula. The answer exposedhere is based on a new analysis of the consequences of Gödel’s First Incompleteness Theorem and we will show here why and how this Theoremimplies the impossibility of such a modelling.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.Pontifícia Universidade Católica de São Paulo2013-01-24info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/12871Cognitio: Revista de Filosofia; Vol. 10 No. 2 (2009); 221-230Cognitio: Revista de Filosofia; v. 10 n. 2 (2009); 221-2302316-52781518-7187reponame:Cognitio (São Paulo. Online)instname:Pontifícia Universidade Católica de São Paulo (PUC-SP)instacron:PUC_SPporhttps://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/12871/9374Copyright (c) 2013 http://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessTassinari, Ricardo PereiraD’Ottaviano, Itala M. Loffredo2024-07-01T13:09:30Zoai:ojs.pkp.sfu.ca:article/12871Revistahttps://revistas.pucsp.br/index.php/cognitiofilosofiaPRIhttps://revistas.pucsp.br/index.php/cognitiofilosofia/oairevcognitio@gmail.com2316-52781518-7187opendoar:2024-07-01T13:09:30Cognitio (São Paulo. Online) - Pontifícia Universidade Católica de São Paulo (PUC-SP)false
dc.title.none.fl_str_mv Cogito ergo sum non machina! On the Human Recognition of Truths in Arithmetic and Turing Machines
Cogito ergo sum non machina! Sobre o Reconhecimento Humano de Verdades
title Cogito ergo sum non machina! On the Human Recognition of Truths in Arithmetic and Turing Machines
spellingShingle Cogito ergo sum non machina! On the Human Recognition of Truths in Arithmetic and Turing Machines
Tassinari, Ricardo Pereira
Formal systems
Algorithms
Gödel’s theorems
Sistemas formais
Algoritmos
Teoremas de Gödel.
title_short Cogito ergo sum non machina! On the Human Recognition of Truths in Arithmetic and Turing Machines
title_full Cogito ergo sum non machina! On the Human Recognition of Truths in Arithmetic and Turing Machines
title_fullStr Cogito ergo sum non machina! On the Human Recognition of Truths in Arithmetic and Turing Machines
title_full_unstemmed Cogito ergo sum non machina! On the Human Recognition of Truths in Arithmetic and Turing Machines
title_sort Cogito ergo sum non machina! On the Human Recognition of Truths in Arithmetic and Turing Machines
author Tassinari, Ricardo Pereira
author_facet Tassinari, Ricardo Pereira
D’Ottaviano, Itala M. Loffredo
author_role author
author2 D’Ottaviano, Itala M. Loffredo
author2_role author
dc.contributor.author.fl_str_mv Tassinari, Ricardo Pereira
D’Ottaviano, Itala M. Loffredo
dc.subject.por.fl_str_mv Formal systems
Algorithms
Gödel’s theorems
Sistemas formais
Algoritmos
Teoremas de Gödel.
topic Formal systems
Algorithms
Gödel’s theorems
Sistemas formais
Algoritmos
Teoremas de Gödel.
description The objective of this paper is to discuss the existence of limits in thepossibility of modeling human behavior by formal system or computationalalgorisms. More specifically, we will discuss herein the impossibility ofcompletely modeling by algorisms or formal theories the human capability ofestablishing the truth of first order arithmetical formula. The answer exposedhere is based on a new analysis of the consequences of Gödel’s First Incompleteness Theorem and we will show here why and how this Theoremimplies the impossibility of such a modelling.
publishDate 2013
dc.date.none.fl_str_mv 2013-01-24
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/12871
url https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/12871
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/12871/9374
dc.rights.driver.fl_str_mv Copyright (c) 2013 http://creativecommons.org/licenses/by/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2013 http://creativecommons.org/licenses/by/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
dc.source.none.fl_str_mv Cognitio: Revista de Filosofia; Vol. 10 No. 2 (2009); 221-230
Cognitio: Revista de Filosofia; v. 10 n. 2 (2009); 221-230
2316-5278
1518-7187
reponame:Cognitio (São Paulo. Online)
instname:Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron:PUC_SP
instname_str Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron_str PUC_SP
institution PUC_SP
reponame_str Cognitio (São Paulo. Online)
collection Cognitio (São Paulo. Online)
repository.name.fl_str_mv Cognitio (São Paulo. Online) - Pontifícia Universidade Católica de São Paulo (PUC-SP)
repository.mail.fl_str_mv revcognitio@gmail.com
_version_ 1803387420426633216

Registros relacionados