A antecipação da incompletude dos sistemas formais por Emil Post durante a crise dos fundamentos da matemática

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorCafezeiro, Isabel Leite-
Autor(es): dc.contributorLopes, Bruno-
Autor(es): dc.contributorValente, Sicleide-
Autor(es): dc.creatorRangel, Anna Karoline Ramos-
Data de aceite: dc.date.accessioned2024-07-11T17:47:16Z-
Data de disponibilização: dc.date.available2024-07-11T17:47:16Z-
Data de envio: dc.date.issued2018-02-01-
Data de envio: dc.date.issued2018-02-01-
Data de envio: dc.date.issued2018-
Fonte completa do material: dc.identifierhttps://app.uff.br/riuff/handle/1/5719-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/757477-
Descrição: dc.descriptionCom a crise dos fundamentos da matemática, no final do século XIX e come ̧co do XX, teóricos produziram trabalhos para solucionar os problemas dessa ciência. Post foi um matemático cuja vida acadêmica coincide com esse momento decisivo para a surgimento e embasamento teórico da Ciência da Computação. Em 1921, em seu projeto de pós-doutorado ele antecipou questões relacionadas à incompletude dos sistemas formais. Trata-se de um importante resultado tanto para a matemática quanto para a computação. Não concluiu sua pesquisa naquela época devido ao primeiro ataque da doença hoje conhecida como transtorno bipolar, distúrbio o qual teve que lidar o resto de sua vida, assim esses conhecimentos só viriam a circular no ambiente acadêmico uma década após as percepções de Post. Anos depois, escreveu um artigo sobre seu projeto empenhando-se em mostrar à comunidade acadêmica suas contribuições feitas na década de vinte porém, seu texto foi recusado, pois grande parte deste material já havia sido publicado por matemáticos como Kurt Gödel. Logo, a história sobre a antecipação da incompletude de Post ficou praticamente esquecida por um longo período. Esta monografia relata a antecipação e tentativa de Post de reconhecimento em meio crise dos fundamentos e o descoberta da incompletude pelo círculo matemático através do Teorema de Gödel.-
Descrição: dc.descriptionWith the crisis of the foundations of mathematics in the late nineteenth and early twentieth century, theorists developed works to solve the problems of this science. Post was a mathematician whose academic life coincides with this decisive moment for the birth and theoretical foundation of Computer Science. In 1921, in his postdoctoral pro- ject he anticipated questions related to the incompleteness of formal systems. This is an important result for both mathematics and computing. He did not complete his research at that time because of the first attack of the disease today known as bipolar disorder, which he had to deal with for the rest of his life, that way this knowledge would only circulate in the academic environment a decade after Post’s perceptions. Years later, he wrote an article about his project striving to show the academic community his contri- butions made in the 1920s but, his text was rejected because much of this material had already been published by mathematicians like Kurt G ̈odel. Therefore the story about the anticipation of Post’s incompleteness has been largely forgotten for a long time. This monography reports the anticipation and attempt of Post of recognition amid the crisis of foundations and the discovery of incompleteness by the mathematical academia through G ̈odel’s Theorem.-
Formato: dc.formatapplication/pdf-
Idioma: dc.languagept_BR-
Direitos: dc.rightsopenAccess-
Direitos: dc.rightshttp://creativecommons.org/licenses/by-nc-nd/3.0/br/-
Direitos: dc.rightsCC-BY-SA-
Palavras-chave: dc.subjectEmil Post-
Palavras-chave: dc.subjectTeorema da incompletude-
Palavras-chave: dc.subjectCrise dos fundamentos da matemática-
Palavras-chave: dc.subjectIncompletude-
Palavras-chave: dc.subjectLógica matemática-
Palavras-chave: dc.subjectPost, Emil, 1897-1954-
Palavras-chave: dc.subjectTeorema da incompletude-
Palavras-chave: dc.subjectTeorema de Göldel-
Palavras-chave: dc.subjectIncompleteness theorem-
Palavras-chave: dc.subjectCrisis of foundations of mathematics-
Palavras-chave: dc.subjectIncompleteness-
Título: dc.titleA antecipação da incompletude dos sistemas formais por Emil Post durante a crise dos fundamentos da matemática-
Tipo de arquivo: dc.typeTrabalho de conclusão de curso-
Aparece nas coleções:Repositório Institucional da Universidade Federal Fluminense - RiUFF

Não existem arquivos associados a este item.