Abordagens da construtividade matemática

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorFreire, Rodrigo de Alvarenga-
Autor(es): dc.creatorJoau e Silva, Gustavo Schmidt-
Data de aceite: dc.date.accessioned2024-07-24T12:57:59Z-
Data de disponibilização: dc.date.available2024-07-24T12:57:59Z-
Data de envio: dc.date.issued2023-09-14-
Data de envio: dc.date.issued2023-09-14-
Data de envio: dc.date.issued2023-09-14-
Data de envio: dc.date.issued2022-10-14-
Fonte completa do material: dc.identifierhttp://repositorio2.unb.br/jspui/handle/10482/46487-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/841133-
Descrição: dc.descriptionDissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Humanas, Departamento de Filosofia, Programa de Pós-Graduação em Filosofia, 2022.-
Descrição: dc.descriptionO 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.-
Descrição: dc.descriptionThe 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.-
Descrição: dc.descriptionInstituto de Ciências Humanas (ICH)-
Descrição: dc.descriptionDepartamento de Filosofia (ICH FIL)-
Descrição: dc.descriptionPrograma de Pós-Graduação em Filosofia-
Formato: dc.formatapplication/pdf-
Idioma: dc.languagept_BR-
Direitos: dc.rightsAcesso Aberto-
Palavras-chave: dc.subjectConstrutivismo (Matemática)-
Palavras-chave: dc.subjectMatemática - filosofia-
Palavras-chave: dc.subjectTeoria dos conjuntos-
Palavras-chave: dc.subjectIntuicionismo (Matemática)-
Título: dc.titleAbordagens da construtividade matemática-
Tipo de arquivo: dc.typeDissertação-
Aparece nas coleções:Repositório Institucional – UNB (old)

Não existem arquivos associados a este item.