A antecipação da incompletude dos sistemas formais por Emil Post durante a crise dos fundamentos da matemática
Autor(a) principal: | |
---|---|
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 |