Please use this identifier to cite or link to this item: https://app.uff.br/riuff/handle/1/5719
Title: A antecipação da incompletude dos sistemas formais por Emil Post durante a crise dos fundamentos da matemática
Authors: Rangel, Anna Karoline Ramos
metadata.dc.contributor.advisor: Cafezeiro, Isabel Leite
metadata.dc.contributor.members: Lopes, Bruno
Valente, Sicleide
Issue Date: 1-Feb-2018
Abstract: Com 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.
metadata.dc.description.abstractother: With 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.
URI: https://app.uff.br/riuff/handle/1/5719
Appears in Collections:TGI - Trabalhos de Conclusão de Curso - Niterói

Files in This Item:
File Description SizeFormat 
monografia (com ficha catalográfica).pdf1.13 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.