Completeness can be said in Several Meanings

Detalhes bibliográficos
Autor(a) principal: Souza, Edelcio Gonçalves de
Data de Publicação: 2013
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/13201
Resumo: From a mistaken reasoning about the completeness and incompleteness Gödel’s theorems, we show important concepts of mathematical logic and, based on above theorems, we conclude showing the existence of non standard models for Peano’s Arithmetic.
id PUC_SP-15_c2c372b3730c6cc0567e6b08780ce7d6
oai_identifier_str oai:ojs.pkp.sfu.ca:article/13201
network_acronym_str PUC_SP-15
network_name_str Cognitio (São Paulo. Online)
repository_id_str
spelling Completeness can be said in Several MeaningsCompletude diz-se em Vários SentidosCompletenessIncompletenessGödel’s theoremsCompletudeIncompletudeTeoremas de GödelFrom a mistaken reasoning about the completeness and incompleteness Gödel’s theorems, we show important concepts of mathematical logic and, based on above theorems, we conclude showing the existence of non standard models for Peano’s Arithmetic.A partir de um raciocínio equivocado acerca do significado dos teoremas de completude e incompletude de Gödel, apresentamos alguns importantes conceitos de lógica matemática e, com base em uma análise dos teoremas acima, concluímos mencionando a existência de modelos não standard da Aritmética de Peano.Pontifícia Universidade Católica de São Paulo2013-01-11info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/13201Cognitio: Revista de Filosofia; Vol. 5 No. 2 (2004); 78-82Cognitio: Revista de Filosofia; v. 5 n. 2 (2004); 78-822316-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/13201/9721Copyright (c) 2013 http://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessSouza, Edelcio Gonçalves de2024-07-01T13:09:30Zoai:ojs.pkp.sfu.ca:article/13201Revistahttps://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 Completeness can be said in Several Meanings
Completude diz-se em Vários Sentidos
title Completeness can be said in Several Meanings
spellingShingle Completeness can be said in Several Meanings
Souza, Edelcio Gonçalves de
Completeness
Incompleteness
Gödel’s theorems
Completude
Incompletude
Teoremas de Gödel
title_short Completeness can be said in Several Meanings
title_full Completeness can be said in Several Meanings
title_fullStr Completeness can be said in Several Meanings
title_full_unstemmed Completeness can be said in Several Meanings
title_sort Completeness can be said in Several Meanings
author Souza, Edelcio Gonçalves de
author_facet Souza, Edelcio Gonçalves de
author_role author
dc.contributor.author.fl_str_mv Souza, Edelcio Gonçalves de
dc.subject.por.fl_str_mv Completeness
Incompleteness
Gödel’s theorems
Completude
Incompletude
Teoremas de Gödel
topic Completeness
Incompleteness
Gödel’s theorems
Completude
Incompletude
Teoremas de Gödel
description From a mistaken reasoning about the completeness and incompleteness Gödel’s theorems, we show important concepts of mathematical logic and, based on above theorems, we conclude showing the existence of non standard models for Peano’s Arithmetic.
publishDate 2013
dc.date.none.fl_str_mv 2013-01-11
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/13201
url https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/13201
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/13201/9721
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. 5 No. 2 (2004); 78-82
Cognitio: Revista de Filosofia; v. 5 n. 2 (2004); 78-82
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_ 1803387420451799040

Registros relacionados