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

Página do item simplificado
dc.creatorWagner Lannes
dc.date.accessioned2019-08-11T11:45:42Z
dc.date.accessioned2025-09-09T01:29:22Z
dc.date.available2019-08-11T11:45:42Z
dc.date.issued2009-03-13
dc.description.abstractIn 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.
dc.identifier.urihttps://hdl.handle.net/1843/VGRO-82THEU
dc.languagePortuguês
dc.publisherUniversidade Federal de Minas Gerais
dc.rightsAcesso Aberto
dc.subjectMatemática
dc.subjectCIência História
dc.subjectLógica
dc.subjectHistória
dc.subjectGodel, Teorema de
dc.subjectCiência Historiografia
dc.subject.otherTeorema de Gödel
dc.subject.otherTeorema da Incompletude
dc.subject.otherHistória da Ciência
dc.titleA incompletude além da matemática: impactos culturais do Teorema de Gödel no século XX
dc.typeTese de doutorado
local.contributor.advisor1Mauro Lucio Leitão Condé
local.contributor.referee1Antonio Zumpano Pereira Santos
local.contributor.referee1Carlos Alvarez Maia
local.contributor.referee1Fabio Wellington Orlando da Silva
local.contributor.referee1Tulio Roberto Xavier de Aguiar
local.description.resumoEm 1930, o lógico matemático austríaco Kurt Gödel provou que se um sistema formal contendo a aritmética não produz teoremas contraditórios então existem proposições neste sistema que não podem ser demonstradas e nem refutadas. Como corolário, provou ainda que o sistema em causa não é capaz de provar que os teoremas contraditórios, de fato, não existem no seu interior. O significado deste teorema e seu corolário para a matemática e para a lógica matemática, bem como as suas implicações filosóficas e críticas de abusos nos seus usos em círculos não matemáticos são questões já abordadas suficientemente pela literatura científica, mas o movimento histórico de apropriação dos resultados de Gödel pela comunidade científica não matemática é um problema merecedor de reflexões e uma das principais contribuições pretendidas com este trabalho.
local.publisher.initialsUFMG

Arquivos

Pacote original

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
wagner_lannes.pdf
Tamanho:
1.94 MB
Formato:
Adobe Portable Document Format
Baixar

Coleções

Pós-Graduação em História - Teses

Logo UFMG