A Herança de David Hilbert na Filosofia da Matemática

Detalhes bibliográficos
Autor(a) principal: Kahle, Reinhard
Data de Publicação: 2011
Tipo de documento: Artigo
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://revistas.rcaap.pt/boletimspm/article/view/734
Resumo: Apresentamos algumas linhas gerais do projecto de investigação A Herança de Hilbert na Filosofia da Matemática, financiado pela FCT/MCTES, PTDC/FIL-FCI/109991/2009. O nosso objectivo é reavaliar as ideas de David Hilbert que contribuiram—e contribuem—para o desenvolvimento da filosofia da matemática. Por um lado, a história do programa de Hilbert é um successo, apesar dos resultados de Gödel. Gerhard Gentzen foi o primeiro que mostrou como podemos demonstrar a consistência (relativa) de sistemas matemáticos formais. Ainda hoje, o estudo da consistência relativa é uma parte importante da investigação em lógica matemática. Por outro lado, muitos tópicos da actual filosofia da matemática contêm ideias de Hilbert, não observadas ou ignoradas.
id RCAP_576473cc399c59cbcebd4104029fcae3
oai_identifier_str oai:ojs.revistas.rcaap.pt:article/734
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str
spelling A Herança de David Hilbert na Filosofia da MatemáticaHistória da MatemáticaApresentamos algumas linhas gerais do projecto de investigação A Herança de Hilbert na Filosofia da Matemática, financiado pela FCT/MCTES, PTDC/FIL-FCI/109991/2009. O nosso objectivo é reavaliar as ideas de David Hilbert que contribuiram—e contribuem—para o desenvolvimento da filosofia da matemática. Por um lado, a história do programa de Hilbert é um successo, apesar dos resultados de Gödel. Gerhard Gentzen foi o primeiro que mostrou como podemos demonstrar a consistência (relativa) de sistemas matemáticos formais. Ainda hoje, o estudo da consistência relativa é uma parte importante da investigação em lógica matemática. Por outro lado, muitos tópicos da actual filosofia da matemática contêm ideias de Hilbert, não observadas ou ignoradas.Sociedade Portuguesa de Matemática2011-10-02T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttps://revistas.rcaap.pt/boletimspm/article/view/734por0872-3672Kahle, Reinhardinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2022-09-22T14:12:05ZPortal AgregadorONG
dc.title.none.fl_str_mv A Herança de David Hilbert na Filosofia da Matemática
title A Herança de David Hilbert na Filosofia da Matemática
spellingShingle A Herança de David Hilbert na Filosofia da Matemática
Kahle, Reinhard
História da Matemática
title_short A Herança de David Hilbert na Filosofia da Matemática
title_full A Herança de David Hilbert na Filosofia da Matemática
title_fullStr A Herança de David Hilbert na Filosofia da Matemática
title_full_unstemmed A Herança de David Hilbert na Filosofia da Matemática
title_sort A Herança de David Hilbert na Filosofia da Matemática
author Kahle, Reinhard
author_facet Kahle, Reinhard
author_role author
dc.contributor.author.fl_str_mv Kahle, Reinhard
dc.subject.por.fl_str_mv História da Matemática
topic História da Matemática
description Apresentamos algumas linhas gerais do projecto de investigação A Herança de Hilbert na Filosofia da Matemática, financiado pela FCT/MCTES, PTDC/FIL-FCI/109991/2009. O nosso objectivo é reavaliar as ideas de David Hilbert que contribuiram—e contribuem—para o desenvolvimento da filosofia da matemática. Por um lado, a história do programa de Hilbert é um successo, apesar dos resultados de Gödel. Gerhard Gentzen foi o primeiro que mostrou como podemos demonstrar a consistência (relativa) de sistemas matemáticos formais. Ainda hoje, o estudo da consistência relativa é uma parte importante da investigação em lógica matemática. Por outro lado, muitos tópicos da actual filosofia da matemática contêm ideias de Hilbert, não observadas ou ignoradas.
publishDate 2011
dc.date.none.fl_str_mv 2011-10-02T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://revistas.rcaap.pt/boletimspm/article/view/734
url https://revistas.rcaap.pt/boletimspm/article/view/734
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv 0872-3672
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Sociedade Portuguesa de Matemática
publisher.none.fl_str_mv Sociedade Portuguesa de Matemática
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1777301492681670656

Registros relacionados