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

• Ano de defesa: 2009
• Autor(a) principal: Wagner Lannes
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Minas Gerais; UFMG
• Palavras-chave em Português: Teorema de Gödel; Teorema da Incompletude; História da Ciência; Matemática; CIência História; Lógica; História; Godel, Teorema de; Ciência Historiografia
• Link de acesso: http://hdl.handle.net/1843/VGRO-82THEU

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.