Full text
| |
| Author(s): |
Rodrigo de Alvarenga Freire
Total Authors: 1
|
| Document type: | Doctoral Thesis |
| Press: | Campinas, SP. |
| Institution: | Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas |
| Defense date: | 2009-02-26 |
| Examining board members: |
Walter Alexandre Carnielli;
Frank Thomas Sautter;
Luiz Carlos Pinheiro Dias Pereira;
Hugo Luiz Mariano;
Daniel Victor Tausk
|
| Advisor: | Walter Alexandre Carnielli |
| 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. (AU) | |