Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos

Detalhes bibliográficos
Autor(a) principal: Freire, Rodrigo de Alvarenga
Data de Publicação: 2009
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1609015
Resumo: Orientador: Walter Alexandre Carnielli
id UNICAMP-30_1d3624e0acee0fa331cd79619476c240
oai_identifier_str oai::439559
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelosThe foudations of mathematical thought in the twentieth century and the foundational relevance of model theoryMatematica - FundamentosMatemática - FilosofiaLógica simbólica e matemáticaTeoria dos modelosTeoria de GaloisMathematics - FoundationsMathematics - PhilosophyLogic, Symbolic and mathematicalModel theoryGalois theoryOrientador: Walter Alexandre CarnielliTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: Esta Tese tem como objetivo elucidar, ao menos parcialmente, a questão do significado da Teoria de Modelos para uma reflexão sobre o conhecimento matemático no século XX. Para isso, vamos buscar, primeiramente, alcançar uma compreensão da própria reflexão sobre o conhecimento matemático, que será denominada de Fundamentos do Pensamento Matemático no século XX, e da própria relevância fundacional. Em seguida, analisaremos, dentro do contexto fundacional estabelecido, o papel da Teoria de Modelos e da sua interação com a Álgebra, em geral, e, finalmente, empreenderemos um estudo de caso específico. Nesse estudo de caso mostraremos que a Teoria de Galois pode ser vista como um conteúdo lógico, e buscaremos compreender o significado fundacional desse enquadramento modelo-teórico para uma parte da Álgebra clássica.Abstract: The aim of the present Thesis is to bring some light to the question about the status and relevance of Model Theory to a reflection about the mathematical knowledge in the twentieth century. To pursue this target, we will, first of all, try to reach a comprehension of the reflection about the mathematical knowledge, itself, what will be designated as Foundations of Mathematical Thought in the twentieth century, and of the foundational relevance, itself. In the sequel, we will provide an analysis, of the role of Model Theory and its interaction with Algebra, in general, within the established foundational setting and, finally, we will discuss a specific study case. In this study case we will show that Galois Theory can be seen as a logical content, and we will try to understand the foundational meaning of this model-theoretic framework for some part of classical Algebra.DoutoradoLógicaDoutor em Filosofia[s.n.]Carnielli, Walter Alexandre, 1952-Sautter, Frank ThomasPereira, Luiz Carlos Pinheiro DiasMariano, Hugo LuizTausk, Daniel VictorUniversidade Estadual de Campinas. Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASFreire, Rodrigo de Alvarenga2009info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf127 p.https://hdl.handle.net/20.500.12733/1609015FREIRE, Rodrigo de Alvarenga. Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos. 2009. 127 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1609015. Acesso em: 15 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/439559porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T05:28:05Zoai::439559Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T05:28:05Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos
The foudations of mathematical thought in the twentieth century and the foundational relevance of model theory
title Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos
spellingShingle Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos
Freire, Rodrigo de Alvarenga
Matematica - Fundamentos
Matemática - Filosofia
Lógica simbólica e matemática
Teoria dos modelos
Teoria de Galois
Mathematics - Foundations
Mathematics - Philosophy
Logic, Symbolic and mathematical
Model theory
Galois theory
title_short Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos
title_full Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos
title_fullStr Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos
title_full_unstemmed Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos
title_sort Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos
author Freire, Rodrigo de Alvarenga
author_facet Freire, Rodrigo de Alvarenga
author_role author
dc.contributor.none.fl_str_mv Carnielli, Walter Alexandre, 1952-
Sautter, Frank Thomas
Pereira, Luiz Carlos Pinheiro Dias
Mariano, Hugo Luiz
Tausk, Daniel Victor
Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Freire, Rodrigo de Alvarenga
dc.subject.por.fl_str_mv Matematica - Fundamentos
Matemática - Filosofia
Lógica simbólica e matemática
Teoria dos modelos
Teoria de Galois
Mathematics - Foundations
Mathematics - Philosophy
Logic, Symbolic and mathematical
Model theory
Galois theory
topic Matematica - Fundamentos
Matemática - Filosofia
Lógica simbólica e matemática
Teoria dos modelos
Teoria de Galois
Mathematics - Foundations
Mathematics - Philosophy
Logic, Symbolic and mathematical
Model theory
Galois theory
description Orientador: Walter Alexandre Carnielli
publishDate 2009
dc.date.none.fl_str_mv 2009
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1609015
FREIRE, Rodrigo de Alvarenga. Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos. 2009. 127 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1609015. Acesso em: 15 mai. 2024.
url https://hdl.handle.net/20.500.12733/1609015
identifier_str_mv FREIRE, Rodrigo de Alvarenga. Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos. 2009. 127 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1609015. Acesso em: 15 mai. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/439559
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
127 p.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1799138451298189312