Interpretability in Robinson's Q

Detalhes bibliográficos
Autor(a) principal: Ferreira, Fernando
Data de Publicação: 2013
Outros Autores: Ferreira, Gilda
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10400.2/10486
Resumo: Edward Nelson published in 1986 a book defending an extreme formalist view of mathematics according to which there is an impassable barrier in the totality of exponentiation. On the positive side, Nelson embarks on a program of investigating how much mathematics can be interpreted in Raphael Robinson’s theory of arithmetic Q. In the shadow of this program, some very nice logical investigations and results were produced by a number of people, not only regarding what can be interpreted in Q but also what cannot be so interpreted. We explain some of these results and rely on them to discuss Nelson’s position.
id RCAP_17140007e8a1ac74f6d21d8d8af5407e
oai_identifier_str oai:repositorioaberto.uab.pt:10400.2/10486
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str
spelling Interpretability in Robinson's QRobinson's QWeak theory of arithmeticInterpretability in QBounded theoryEdward Nelson published in 1986 a book defending an extreme formalist view of mathematics according to which there is an impassable barrier in the totality of exponentiation. On the positive side, Nelson embarks on a program of investigating how much mathematics can be interpreted in Raphael Robinson’s theory of arithmetic Q. In the shadow of this program, some very nice logical investigations and results were produced by a number of people, not only regarding what can be interpreted in Q but also what cannot be so interpreted. We explain some of these results and rely on them to discuss Nelson’s position.Repositório AbertoFerreira, FernandoFerreira, Gilda2021-02-11T10:53:34Z20132013-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10400.2/10486eng1079-8986 (Print)10.2178/bsl.1903010info: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:RCAAP2023-07-07T16:10:19ZPortal AgregadorONG
dc.title.none.fl_str_mv Interpretability in Robinson's Q
title Interpretability in Robinson's Q
spellingShingle Interpretability in Robinson's Q
Ferreira, Fernando
Robinson's Q
Weak theory of arithmetic
Interpretability in Q
Bounded theory
title_short Interpretability in Robinson's Q
title_full Interpretability in Robinson's Q
title_fullStr Interpretability in Robinson's Q
title_full_unstemmed Interpretability in Robinson's Q
title_sort Interpretability in Robinson's Q
author Ferreira, Fernando
author_facet Ferreira, Fernando
Ferreira, Gilda
author_role author
author2 Ferreira, Gilda
author2_role author
dc.contributor.none.fl_str_mv Repositório Aberto
dc.contributor.author.fl_str_mv Ferreira, Fernando
Ferreira, Gilda
dc.subject.por.fl_str_mv Robinson's Q
Weak theory of arithmetic
Interpretability in Q
Bounded theory
topic Robinson's Q
Weak theory of arithmetic
Interpretability in Q
Bounded theory
description Edward Nelson published in 1986 a book defending an extreme formalist view of mathematics according to which there is an impassable barrier in the totality of exponentiation. On the positive side, Nelson embarks on a program of investigating how much mathematics can be interpreted in Raphael Robinson’s theory of arithmetic Q. In the shadow of this program, some very nice logical investigations and results were produced by a number of people, not only regarding what can be interpreted in Q but also what cannot be so interpreted. We explain some of these results and rely on them to discuss Nelson’s position.
publishDate 2013
dc.date.none.fl_str_mv 2013
2013-01-01T00:00:00Z
2021-02-11T10:53:34Z
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 http://hdl.handle.net/10400.2/10486
url http://hdl.handle.net/10400.2/10486
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 1079-8986 (Print)
10.2178/bsl.1903010
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
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_ 1777302857030041600

Registros relacionados