A incompletude além da matemática: impactos culturais do Teorema de Gödel no século XX

Detalhes bibliográficos
Ano de defesa: 2009
Autor(a) principal: Wagner Lannes
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Minas Gerais
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Matemática
CIência História
Lógica
História
Godel, Teorema de
Ciência Historiografia
Teorema de Gödel
Teorema da Incompletude
História da Ciência
Link de acesso: https://hdl.handle.net/1843/VGRO-82THEU
Resumo: In 1930, the Austrian logician mathematician Kurt Gödel proved that if has not contradictories theorems in a formal system contained the arithmetic hence exists propositions in this system that cant be proved nor refuted. Its corollary tell us that the own system cant prove the existence of this contradictories theorems. The meaning on this theorem and its corollary to mathematics and to logic, and its philosophical conclusions and critics of the abuses about its uses in non mathematicians circles are issues sufficiently debated on scientific literature, but the historical movement of ownership of Gödels results of the scientific community of non mathematicians is a problem worthy of reflection and one of the main contributions sought in this work.
id UFMG_072fd4bd4e4c4514beae4e7e4c3474f6
oai_identifier_str oai:repositorio.ufmg.br:1843/VGRO-82THEU
network_acronym_str UFMG
network_name_str Repositório Institucional da UFMG
repository_id_str
spelling A incompletude além da matemática: impactos culturais do Teorema de Gödel no século XXMatemáticaCIência HistóriaLógicaHistóriaGodel, Teorema deCiência HistoriografiaTeorema de GödelTeorema da IncompletudeHistória da CiênciaIn 1930, the Austrian logician mathematician Kurt Gödel proved that if has not contradictories theorems in a formal system contained the arithmetic hence exists propositions in this system that cant be proved nor refuted. Its corollary tell us that the own system cant prove the existence of this contradictories theorems. The meaning on this theorem and its corollary to mathematics and to logic, and its philosophical conclusions and critics of the abuses about its uses in non mathematicians circles are issues sufficiently debated on scientific literature, but the historical movement of ownership of Gödels results of the scientific community of non mathematicians is a problem worthy of reflection and one of the main contributions sought in this work.Universidade Federal de Minas Gerais2019-08-11T11:45:42Z2025-09-09T01:29:22Z2019-08-11T11:45:42Z2009-03-13info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://hdl.handle.net/1843/VGRO-82THEUWagner Lannesinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMG2025-09-09T01:29:22Zoai:repositorio.ufmg.br:1843/VGRO-82THEURepositório InstitucionalPUBhttps://repositorio.ufmg.br/oairepositorio@ufmg.bropendoar:2025-09-09T01:29:22Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false
dc.title.none.fl_str_mv A incompletude além da matemática: impactos culturais do Teorema de Gödel no século XX
title A incompletude além da matemática: impactos culturais do Teorema de Gödel no século XX
spellingShingle A incompletude além da matemática: impactos culturais do Teorema de Gödel no século XX
Wagner Lannes
Matemática
CIência História
Lógica
História
Godel, Teorema de
Ciência Historiografia
Teorema de Gödel
Teorema da Incompletude
História da Ciência
title_short A incompletude além da matemática: impactos culturais do Teorema de Gödel no século XX
title_full A incompletude além da matemática: impactos culturais do Teorema de Gödel no século XX
title_fullStr A incompletude além da matemática: impactos culturais do Teorema de Gödel no século XX
title_full_unstemmed A incompletude além da matemática: impactos culturais do Teorema de Gödel no século XX
title_sort A incompletude além da matemática: impactos culturais do Teorema de Gödel no século XX
author Wagner Lannes
author_facet Wagner Lannes
author_role author
dc.contributor.author.fl_str_mv Wagner Lannes
dc.subject.por.fl_str_mv Matemática
CIência História
Lógica
História
Godel, Teorema de
Ciência Historiografia
Teorema de Gödel
Teorema da Incompletude
História da Ciência
topic Matemática
CIência História
Lógica
História
Godel, Teorema de
Ciência Historiografia
Teorema de Gödel
Teorema da Incompletude
História da Ciência
description In 1930, the Austrian logician mathematician Kurt Gödel proved that if has not contradictories theorems in a formal system contained the arithmetic hence exists propositions in this system that cant be proved nor refuted. Its corollary tell us that the own system cant prove the existence of this contradictories theorems. The meaning on this theorem and its corollary to mathematics and to logic, and its philosophical conclusions and critics of the abuses about its uses in non mathematicians circles are issues sufficiently debated on scientific literature, but the historical movement of ownership of Gödels results of the scientific community of non mathematicians is a problem worthy of reflection and one of the main contributions sought in this work.
publishDate 2009
dc.date.none.fl_str_mv 2009-03-13
2019-08-11T11:45:42Z
2019-08-11T11:45:42Z
2025-09-09T01:29:22Z
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 https://hdl.handle.net/1843/VGRO-82THEU
url https://hdl.handle.net/1843/VGRO-82THEU
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal de Minas Gerais
publisher.none.fl_str_mv Universidade Federal de Minas Gerais
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFMG
instname:Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
instname_str Universidade Federal de Minas Gerais (UFMG)
instacron_str UFMG
institution UFMG
reponame_str Repositório Institucional da UFMG
collection Repositório Institucional da UFMG
repository.name.fl_str_mv Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)
repository.mail.fl_str_mv repositorio@ufmg.br
_version_ 1856414122954981376

Registros relacionados