Os teoremas de incompletude de Godel

Detalhes bibliográficos
Autor(a) principal: Medeiros, Maria da Paz Nunes de
Data de Publicação: 1994
Tipo de documento: Dissertação
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/1581868
Resumo: Orientador: Jose Alexandre D. Guerzoni
id UNICAMP-30_dbb58a900d3cca5466943f2b7822596d
oai_identifier_str oai::82038
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 Os teoremas de incompletude de GodelGödel, Kurt, 1906-1978Matemática - FilosofiaLógica simbólica e matemáticaMetamatematicaOrientador: Jose Alexandre D. GuerzoniDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: Em 1931. GOdel apresentou dois Teoremas de Incompletude que. indiscutivelmente. foram os resultados mais importantes da Lógica no início deste século. Pretende-se. neste trabalho. apresentar uma demonstração detalhada do primeiro teorema, na qual. Essa todas as fórmulas envol vidas sejam explicitadas. demonstração baseia-se na idéi a de auto-referência. Considera-se simultaneamente uma teoria (Teoria formal C Ar i tméti ca de Peano) e uma Intuitiva dos Números) para mostrar, via godelização. que as propriedades e operações de cunho sintático-morfol6gico da teoria formal são representáveis nela própria. Garantida essa representação através de um Teor ema de Completude Parcial. demonstra-se o primeiro teorema a partir do Lema da Diagonal, para em seguida apresentar a demonstração usual do segundo. que pressupõe a formalização de certas condições de derivabilidadeAbstract: Not informed.MestradoMestre em Filosofia[s.n.]Guerzoni, Jose Alexandre Durry, 1958-Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASMedeiros, Maria da Paz Nunes de19941994-12-09T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf[88]f.https://hdl.handle.net/20.500.12733/1581868MEDEIROS, Maria da Paz Nunes de. Os teoremas de incompletude de Godel. 1994. [88]f Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1581868. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/82038porreponame: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-18T02:16:58Zoai::82038Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T02:16:58Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Os teoremas de incompletude de Godel
title Os teoremas de incompletude de Godel
spellingShingle Os teoremas de incompletude de Godel
Medeiros, Maria da Paz Nunes de
Gödel, Kurt, 1906-1978
Matemática - Filosofia
Lógica simbólica e matemática
Metamatematica
title_short Os teoremas de incompletude de Godel
title_full Os teoremas de incompletude de Godel
title_fullStr Os teoremas de incompletude de Godel
title_full_unstemmed Os teoremas de incompletude de Godel
title_sort Os teoremas de incompletude de Godel
author Medeiros, Maria da Paz Nunes de
author_facet Medeiros, Maria da Paz Nunes de
author_role author
dc.contributor.none.fl_str_mv Guerzoni, Jose Alexandre Durry, 1958-
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Medeiros, Maria da Paz Nunes de
dc.subject.por.fl_str_mv Gödel, Kurt, 1906-1978
Matemática - Filosofia
Lógica simbólica e matemática
Metamatematica
topic Gödel, Kurt, 1906-1978
Matemática - Filosofia
Lógica simbólica e matemática
Metamatematica
description Orientador: Jose Alexandre D. Guerzoni
publishDate 1994
dc.date.none.fl_str_mv 1994
1994-12-09T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1581868
MEDEIROS, Maria da Paz Nunes de. Os teoremas de incompletude de Godel. 1994. [88]f Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1581868. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1581868
identifier_str_mv MEDEIROS, Maria da Paz Nunes de. Os teoremas de incompletude de Godel. 1994. [88]f Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1581868. Acesso em: 2 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/82038
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
[88]f.
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_ 1809188770088484864

Registros relacionados