Um desfile de escola de samba em homenagem a Gödel
Autor(a) principal: | |
---|---|
Data de Publicação: | 2018 |
Tipo de documento: | Artigo |
Idioma: | por |
Título da fonte: | Rematec (Online) |
Texto Completo: | http://www.rematec.net.br/index.php/rematec/article/view/223 |
Resumo: | Neste artigo apresentamos a vida e a obra de Kurt Gödel (1906 – 1978) e o fizemos por meio da descrição e comentários de/sobre um fictício desfile de escola de samba homenageando-o bem como dos bastidores do desfile. Trata-se de um artifício inventado por nós para expor as principais obras lógico-matemáticas de Gödel e a reper- cussão delas na Matemática. O fictício desfile aconteceu na festa de carnaval de 2018 na cidade do Rio de Janeiro no Brasil. Gödel nasceu em Brünn, hoje República Tcheca, em 1906 e viveu e estudou lá até 1923 quando entrou na Universidade de Viena e cursou Matemática. Sob a supervisão de Hans Hahn (1879 – 1934) apresentou em 1929 a tese de doutorado provando a completude da Lógica de Primeira Ordem. De 1930 até 1938 foi membro da Universidade de Viena, onde pertencia à escola do positivismo lógico. Em 1931 apresentou o resultado que o tornaria famoso, a prova dos Teoremas da Incompletude de Gödel (TIG) nos quais provou resultados fundamentais sobre sistemas axiomáticos, mostrando em qualquer sistema matemático axiomático, proposições que não podem ser provadas ou desaprovadas dentro dos axiomas do sistema. Esse resultado impactou as tentativas de estabelecer axiomas que colocariam toda a matemática em uma base axiomática que vinham sendo realizadas há quase um sé- culo, atingindo principalmente o projeto do formalismo de David Hilbert (1862 – 1943) e o Logicismo de Bertrand Russell (1872-1970). Os teoremas de Gödel não destruíram a ideia essencial do formalismo, mas estabeleceram que qualquer sistema axiomático teria que ser mais abrangente do que o previsto por Hilbert. Em seus desdobra- mentos os teoremas de Gödel destacam-se como um marco entre os demais resultados matemáticos do século XX, pois mostram que a Matemática não está finalizada, como se acreditava na época. |
id |
UFPA-6_0bbe21cea92be3c309eb2e51f19af86b |
---|---|
oai_identifier_str |
oai:ojs2.www.rematec.net.br:article/223 |
network_acronym_str |
UFPA-6 |
network_name_str |
Rematec (Online) |
repository_id_str |
|
spelling |
Um desfile de escola de samba em homenagem a GödelLógica MatemáticaTeoremas da Incompletude de GödelKurt GödelFormalismoNeste artigo apresentamos a vida e a obra de Kurt Gödel (1906 – 1978) e o fizemos por meio da descrição e comentários de/sobre um fictício desfile de escola de samba homenageando-o bem como dos bastidores do desfile. Trata-se de um artifício inventado por nós para expor as principais obras lógico-matemáticas de Gödel e a reper- cussão delas na Matemática. O fictício desfile aconteceu na festa de carnaval de 2018 na cidade do Rio de Janeiro no Brasil. Gödel nasceu em Brünn, hoje República Tcheca, em 1906 e viveu e estudou lá até 1923 quando entrou na Universidade de Viena e cursou Matemática. Sob a supervisão de Hans Hahn (1879 – 1934) apresentou em 1929 a tese de doutorado provando a completude da Lógica de Primeira Ordem. De 1930 até 1938 foi membro da Universidade de Viena, onde pertencia à escola do positivismo lógico. Em 1931 apresentou o resultado que o tornaria famoso, a prova dos Teoremas da Incompletude de Gödel (TIG) nos quais provou resultados fundamentais sobre sistemas axiomáticos, mostrando em qualquer sistema matemático axiomático, proposições que não podem ser provadas ou desaprovadas dentro dos axiomas do sistema. Esse resultado impactou as tentativas de estabelecer axiomas que colocariam toda a matemática em uma base axiomática que vinham sendo realizadas há quase um sé- culo, atingindo principalmente o projeto do formalismo de David Hilbert (1862 – 1943) e o Logicismo de Bertrand Russell (1872-1970). Os teoremas de Gödel não destruíram a ideia essencial do formalismo, mas estabeleceram que qualquer sistema axiomático teria que ser mais abrangente do que o previsto por Hilbert. Em seus desdobra- mentos os teoremas de Gödel destacam-se como um marco entre os demais resultados matemáticos do século XX, pois mostram que a Matemática não está finalizada, como se acreditava na época.Grupo de Pesquisa Práticas Socioculturais e Educação Matemática2018-04-16info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://www.rematec.net.br/index.php/rematec/article/view/22310.37084/REMATEC.1980-3141.2018.n27.p%p.id124REMATEC; v. 13 n. 27 (2018)2675-19091980-3141reponame:Rematec (Online)instname:Universidade Federal do Pará (UFPA)instacron:UFPAporhttp://www.rematec.net.br/index.php/rematec/article/view/223/222Copyright (c) 2018 REMATECinfo:eu-repo/semantics/openAccessFátima Batistela, Rosemeire de2022-10-15T13:29:17Zoai:ojs2.www.rematec.net.br:article/223Revistahttp://www.rematec.net.br/index.php/rematecPUBhttp://www.rematec.net.br/index.php/rematec/oairevistarematec@gmail.com||revistarematec@gmail.com2675-19091980-3141opendoar:2022-10-15T13:29:17Rematec (Online) - Universidade Federal do Pará (UFPA)false |
dc.title.none.fl_str_mv |
Um desfile de escola de samba em homenagem a Gödel |
title |
Um desfile de escola de samba em homenagem a Gödel |
spellingShingle |
Um desfile de escola de samba em homenagem a Gödel Fátima Batistela, Rosemeire de Lógica Matemática Teoremas da Incompletude de Gödel Kurt Gödel Formalismo |
title_short |
Um desfile de escola de samba em homenagem a Gödel |
title_full |
Um desfile de escola de samba em homenagem a Gödel |
title_fullStr |
Um desfile de escola de samba em homenagem a Gödel |
title_full_unstemmed |
Um desfile de escola de samba em homenagem a Gödel |
title_sort |
Um desfile de escola de samba em homenagem a Gödel |
author |
Fátima Batistela, Rosemeire de |
author_facet |
Fátima Batistela, Rosemeire de |
author_role |
author |
dc.contributor.author.fl_str_mv |
Fátima Batistela, Rosemeire de |
dc.subject.por.fl_str_mv |
Lógica Matemática Teoremas da Incompletude de Gödel Kurt Gödel Formalismo |
topic |
Lógica Matemática Teoremas da Incompletude de Gödel Kurt Gödel Formalismo |
description |
Neste artigo apresentamos a vida e a obra de Kurt Gödel (1906 – 1978) e o fizemos por meio da descrição e comentários de/sobre um fictício desfile de escola de samba homenageando-o bem como dos bastidores do desfile. Trata-se de um artifício inventado por nós para expor as principais obras lógico-matemáticas de Gödel e a reper- cussão delas na Matemática. O fictício desfile aconteceu na festa de carnaval de 2018 na cidade do Rio de Janeiro no Brasil. Gödel nasceu em Brünn, hoje República Tcheca, em 1906 e viveu e estudou lá até 1923 quando entrou na Universidade de Viena e cursou Matemática. Sob a supervisão de Hans Hahn (1879 – 1934) apresentou em 1929 a tese de doutorado provando a completude da Lógica de Primeira Ordem. De 1930 até 1938 foi membro da Universidade de Viena, onde pertencia à escola do positivismo lógico. Em 1931 apresentou o resultado que o tornaria famoso, a prova dos Teoremas da Incompletude de Gödel (TIG) nos quais provou resultados fundamentais sobre sistemas axiomáticos, mostrando em qualquer sistema matemático axiomático, proposições que não podem ser provadas ou desaprovadas dentro dos axiomas do sistema. Esse resultado impactou as tentativas de estabelecer axiomas que colocariam toda a matemática em uma base axiomática que vinham sendo realizadas há quase um sé- culo, atingindo principalmente o projeto do formalismo de David Hilbert (1862 – 1943) e o Logicismo de Bertrand Russell (1872-1970). Os teoremas de Gödel não destruíram a ideia essencial do formalismo, mas estabeleceram que qualquer sistema axiomático teria que ser mais abrangente do que o previsto por Hilbert. Em seus desdobra- mentos os teoremas de Gödel destacam-se como um marco entre os demais resultados matemáticos do século XX, pois mostram que a Matemática não está finalizada, como se acreditava na época. |
publishDate |
2018 |
dc.date.none.fl_str_mv |
2018-04-16 |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://www.rematec.net.br/index.php/rematec/article/view/223 10.37084/REMATEC.1980-3141.2018.n27.p%p.id124 |
url |
http://www.rematec.net.br/index.php/rematec/article/view/223 |
identifier_str_mv |
10.37084/REMATEC.1980-3141.2018.n27.p%p.id124 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
http://www.rematec.net.br/index.php/rematec/article/view/223/222 |
dc.rights.driver.fl_str_mv |
Copyright (c) 2018 REMATEC info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Copyright (c) 2018 REMATEC |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Grupo de Pesquisa Práticas Socioculturais e Educação Matemática |
publisher.none.fl_str_mv |
Grupo de Pesquisa Práticas Socioculturais e Educação Matemática |
dc.source.none.fl_str_mv |
REMATEC; v. 13 n. 27 (2018) 2675-1909 1980-3141 reponame:Rematec (Online) instname:Universidade Federal do Pará (UFPA) instacron:UFPA |
instname_str |
Universidade Federal do Pará (UFPA) |
instacron_str |
UFPA |
institution |
UFPA |
reponame_str |
Rematec (Online) |
collection |
Rematec (Online) |
repository.name.fl_str_mv |
Rematec (Online) - Universidade Federal do Pará (UFPA) |
repository.mail.fl_str_mv |
revistarematec@gmail.com||revistarematec@gmail.com |
_version_ |
1797069003528601600 |