Abordagens da construtividade matemática

Detalhes bibliográficos
Autor(a) principal: Joau e Silva, Gustavo Schmidt
Data de Publicação: 2022
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UnB
Texto Completo: http://repositorio2.unb.br/jspui/handle/10482/46487
Resumo: Dissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Humanas, Departamento de Filosofia, Programa de Pós-Graduação em Filosofia, 2022.
id UNB_4cd4627d319ca1c512e9b256c11bf9e6
oai_identifier_str oai:repositorio.unb.br:10482/46487
network_acronym_str UNB
network_name_str Repositório Institucional da UnB
repository_id_str
spelling Abordagens da construtividade matemáticaConstrutivismo (Matemática)Matemática - filosofiaTeoria dos conjuntosIntuicionismo (Matemática)Dissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Humanas, Departamento de Filosofia, Programa de Pós-Graduação em Filosofia, 2022.O conceito de construtividade é muito discutido no campo da fundamentação e da filosofia da matemática. Entretanto, não há consenso sobre sua definição. Este trabalho se propõe a definir e analisar abordagens desse conceito no contexto da matemática clássica e intuicionista. Para tanto, definimos duas abordagens, a tradicional e a de produção relativa de conjuntos, e as analisamos nos contextos da teoria de conjuntos clássica ZFC e das teorias de conjuntos intuicionistas IZF e CZF. Argumentamos que a abordagem tradicional, definida com base no uso comum do termo construtividade no contexto da prática matemática, não é adequada para teorias de conjuntos clássicas devido a sua instabilidade por equivalência lógica. Dito de outra forma, sentenças construtivas seriam equivalentes a sentenças não construtivas. Já para teorias de conjuntos intuicionistas, que se propõem a ser construtivas, argumentamos que a abordagem também não é adequada devido ao fato de conterem teoremas não-construtivos segundo essa abordagem. Já a abordagem de produção relativa de conjuntos possui estabilidade por equivalência lógica e se mostra adequada para discutir a construtividade de sentenças. Entretanto, sua definição somente se aplica à teoria de conjuntos clássica ZFC. Finalizamos o trabalho com a proposta de uma adaptção da abordagem de produção relativa de conjuntos que possa ser aplicada a teorias não clássicas, chamada de abordagem de modelos minimais.The concept of constructiveness is often debated in the fields of foundations and philosophy of Mathematics. This work is an attempt to define and analize different approaches to this concept in the context of classical and intuitionistic Mathematics. To do so, we define two approaches, the tradicional and the relative production of sets, and we analyze them in the context of the classical set theory ZFC and the intuitionistic set theories IZF and CZF. We argue that the tradicional approach, defined based on the common use of the term constructiveness in the context of mathematical practice, is not appropriate to classical theories due to its instability by logical equivalence. In other words, constructive sentences are equivalent to non-constructive ones. For intuitionistic theories, which aim to be construtive, we argue that the approach is also not appropriate due to the fact that these theories contain non-constructive sentences according to this approach. The relative production of sets approach does have estability by local equivalence and it is adequate to discuss the constructiveness of sentences. However, its definition is only applicable to the classical set theory ZFC. We finalize this work with a proposal of an adaptation to the relative production of sets approach that make it applicable to intuitionistic set theories: the minimal models approach.Instituto de Ciências Humanas (ICH)Departamento de Filosofia (ICH FIL)Programa de Pós-Graduação em FilosofiaFreire, Rodrigo de AlvarengaJoau e Silva, Gustavo Schmidt2023-09-14T20:45:45Z2023-09-14T20:45:45Z2023-09-142022-10-14info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfJUAU E SILVA, Gustavo Schmidt. Abordagens da construtividade matemática. 2022. 41 f. Dissertação (Mestrado em Filosofia) — Universidade de Brasília, Brasília, 2022.http://repositorio2.unb.br/jspui/handle/10482/46487porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UnBinstname:Universidade de Brasília (UnB)instacron:UNB2023-09-14T20:45:45Zoai:repositorio.unb.br:10482/46487Repositório InstitucionalPUBhttps://repositorio.unb.br/oai/requestrepositorio@unb.bropendoar:2023-09-14T20:45:45Repositório Institucional da UnB - Universidade de Brasília (UnB)false
dc.title.none.fl_str_mv Abordagens da construtividade matemática
title Abordagens da construtividade matemática
spellingShingle Abordagens da construtividade matemática
Joau e Silva, Gustavo Schmidt
Construtivismo (Matemática)
Matemática - filosofia
Teoria dos conjuntos
Intuicionismo (Matemática)
title_short Abordagens da construtividade matemática
title_full Abordagens da construtividade matemática
title_fullStr Abordagens da construtividade matemática
title_full_unstemmed Abordagens da construtividade matemática
title_sort Abordagens da construtividade matemática
author Joau e Silva, Gustavo Schmidt
author_facet Joau e Silva, Gustavo Schmidt
author_role author
dc.contributor.none.fl_str_mv Freire, Rodrigo de Alvarenga
dc.contributor.author.fl_str_mv Joau e Silva, Gustavo Schmidt
dc.subject.por.fl_str_mv Construtivismo (Matemática)
Matemática - filosofia
Teoria dos conjuntos
Intuicionismo (Matemática)
topic Construtivismo (Matemática)
Matemática - filosofia
Teoria dos conjuntos
Intuicionismo (Matemática)
description Dissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Humanas, Departamento de Filosofia, Programa de Pós-Graduação em Filosofia, 2022.
publishDate 2022
dc.date.none.fl_str_mv 2022-10-14
2023-09-14T20:45:45Z
2023-09-14T20:45:45Z
2023-09-14
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv JUAU E SILVA, Gustavo Schmidt. Abordagens da construtividade matemática. 2022. 41 f. Dissertação (Mestrado em Filosofia) — Universidade de Brasília, Brasília, 2022.
http://repositorio2.unb.br/jspui/handle/10482/46487
identifier_str_mv JUAU E SILVA, Gustavo Schmidt. Abordagens da construtividade matemática. 2022. 41 f. Dissertação (Mestrado em Filosofia) — Universidade de Brasília, Brasília, 2022.
url http://repositorio2.unb.br/jspui/handle/10482/46487
dc.language.iso.fl_str_mv por
language por
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 Institucional da UnB
instname:Universidade de Brasília (UnB)
instacron:UNB
instname_str Universidade de Brasília (UnB)
instacron_str UNB
institution UNB
reponame_str Repositório Institucional da UnB
collection Repositório Institucional da UnB
repository.name.fl_str_mv Repositório Institucional da UnB - Universidade de Brasília (UnB)
repository.mail.fl_str_mv repositorio@unb.br
_version_ 1814508261595938816

Registros relacionados