“Apenas setas”: a teoria das categorias como linguagem para uma matemática estruturalista
Guardat en:
| Autor principal: | |
|---|---|
| Data de publicació: | 2023 |
| Format: | Doctoral thesis |
| Idioma: | por |
| Font: | Repositório Institucional da UFG |
| Download full: | http://repositorio.bc.ufg.br/tede/handle/tede/13205 |
Sumari: | For some years now, there has been a philosophical debate about the relationship between two distinct intellectual movements. Within mathematical practice, the Theory of Categories emerged in the 1940s. Initially without any major foundational pretensions, little by little the theory gained in scope and came to be considered, at the very least, a very useful language for characterizing and studying abstract mathematical structure. Almost simultaneously, philosophers concerned with questions about the nature of mathematical objects proposed a structuralist program, based on the idea of shaping an understanding of the nature of mathematics that takes into account that each area of this science describes the formal factors common to various structured systems. The affinity between Category Theory and a structuralist philosophy of mathematics is almost obvious, leading naturally to the question of the possibility of the theory being employed as an autonomous conceptual framework, capable of articulating a peculiar view of mathematics, without any kind of dependence on other foundational approaches, such as Set Theory or Type Theory. This possibility has been denied by some philosophers of mathematics, giving rise to a dispute without a unanimous solution. This thesis presents a panoramic view of this whole scenario and tries to show that those who reject the autonomy of category theory have epistemological presuppositions that are not unanimously accepted. |
Ítems similars: “Apenas setas”: a teoria das categorias como linguagem para uma matemática estruturalista
- O viés estruturalista da abordagem discursiva de Norman Fairclough
- Escolha sob categorias
- Escolha ocupacional e saída para o desemprego – uma análise de transição de 2002 a 2016
- Da interpretação Bhk à teoria intuicionista dos tipos: a construção mental como conceito primitivo fundamental
- Análise de produtores de tomate de mesa do estado de Goiás e uso de Vant como ferramenta para levantamento de informações
- Quando uma história torna-se um caso: narrativas de sofrimento no CAPS II de Taguatinga, Distrito Federal