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

Detalhes bibliográficos
Autor(a) principal: Rangel, Anna Karoline Ramos
Data de Publicação: 2018
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da Universidade Federal Fluminense (RIUFF)
Texto Completo: https://app.uff.br/riuff/handle/1/5719
Resumo: 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.
id UFF-2_50e41e99d6f8e049f587bb0bf32c8441
oai_identifier_str oai:app.uff.br:1/5719
network_acronym_str UFF-2
network_name_str Repositório Institucional da Universidade Federal Fluminense (RIUFF)
repository_id_str 2120
spelling A antecipação da incompletude dos sistemas formais por Emil Post durante a crise dos fundamentos da matemáticaEmil PostTeorema da incompletudeCrise dos fundamentos da matemáticaIncompletudeLógica matemáticaPost, Emil, 1897-1954Teorema da incompletudeTeorema de GöldelIncompleteness theoremCrisis of foundations of mathematicsIncompletenessCom 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.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.Cafezeiro, Isabel LeiteLopes, BrunoValente, SicleideRangel, Anna Karoline Ramos2018-02-01T14:56:04Z2018-02-01T14:56:04Z2018info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisapplication/pdfhttps://app.uff.br/riuff/handle/1/5719http://creativecommons.org/licenses/by-nc-nd/3.0/br/CC-BY-SAinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da Universidade Federal Fluminense (RIUFF)instname:Universidade Federal Fluminense (UFF)instacron:UFF2021-09-16T15:58:56Zoai:app.uff.br:1/5719Repositório InstitucionalPUBhttps://app.uff.br/oai/requestriuff@id.uff.bropendoar:21202024-08-19T10:55:24.839604Repositório Institucional da Universidade Federal Fluminense (RIUFF) - Universidade Federal Fluminense (UFF)false
dc.title.none.fl_str_mv A antecipação da incompletude dos sistemas formais por Emil Post durante a crise dos fundamentos da matemática
title A antecipação da incompletude dos sistemas formais por Emil Post durante a crise dos fundamentos da matemática
spellingShingle A antecipação da incompletude dos sistemas formais por Emil Post durante a crise dos fundamentos da matemática
Rangel, Anna Karoline Ramos
Emil Post
Teorema da incompletude
Crise dos fundamentos da matemática
Incompletude
Lógica matemática
Post, Emil, 1897-1954
Teorema da incompletude
Teorema de Göldel
Incompleteness theorem
Crisis of foundations of mathematics
Incompleteness
title_short A antecipação da incompletude dos sistemas formais por Emil Post durante a crise dos fundamentos da matemática
title_full A antecipação da incompletude dos sistemas formais por Emil Post durante a crise dos fundamentos da matemática
title_fullStr A antecipação da incompletude dos sistemas formais por Emil Post durante a crise dos fundamentos da matemática
title_full_unstemmed A antecipação da incompletude dos sistemas formais por Emil Post durante a crise dos fundamentos da matemática
title_sort A antecipação da incompletude dos sistemas formais por Emil Post durante a crise dos fundamentos da matemática
author Rangel, Anna Karoline Ramos
author_facet Rangel, Anna Karoline Ramos
author_role author
dc.contributor.none.fl_str_mv Cafezeiro, Isabel Leite
Lopes, Bruno
Valente, Sicleide
dc.contributor.author.fl_str_mv Rangel, Anna Karoline Ramos
dc.subject.por.fl_str_mv Emil Post
Teorema da incompletude
Crise dos fundamentos da matemática
Incompletude
Lógica matemática
Post, Emil, 1897-1954
Teorema da incompletude
Teorema de Göldel
Incompleteness theorem
Crisis of foundations of mathematics
Incompleteness
topic Emil Post
Teorema da incompletude
Crise dos fundamentos da matemática
Incompletude
Lógica matemática
Post, Emil, 1897-1954
Teorema da incompletude
Teorema de Göldel
Incompleteness theorem
Crisis of foundations of mathematics
Incompleteness
description 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.
publishDate 2018
dc.date.none.fl_str_mv 2018-02-01T14:56:04Z
2018-02-01T14:56:04Z
2018
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://app.uff.br/riuff/handle/1/5719
url https://app.uff.br/riuff/handle/1/5719
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv http://creativecommons.org/licenses/by-nc-nd/3.0/br/
CC-BY-SA
info:eu-repo/semantics/openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-nd/3.0/br/
CC-BY-SA
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da Universidade Federal Fluminense (RIUFF)
instname:Universidade Federal Fluminense (UFF)
instacron:UFF
instname_str Universidade Federal Fluminense (UFF)
instacron_str UFF
institution UFF
reponame_str Repositório Institucional da Universidade Federal Fluminense (RIUFF)
collection Repositório Institucional da Universidade Federal Fluminense (RIUFF)
repository.name.fl_str_mv Repositório Institucional da Universidade Federal Fluminense (RIUFF) - Universidade Federal Fluminense (UFF)
repository.mail.fl_str_mv riuff@id.uff.br
_version_ 1811823609417564160