Álgebras de Rosenbloom e fundamentos da matemática (2000)
- Authors:
- Autor USP: KNUDSEN, CARLOS ALBERTO - FFLCH
- Unidade: FFLCH
- Sigla do Departamento: FLF
- Subjects: FILOSOFIA; MATEMÁTICA; ÁLGEBRA
- Language: Português
- Abstract: Neste trabalho apresentamos a teoria de certas estruturas algébricas, introduzidas na década de cinqüenta, pelo matemático norte-americano Paul C. Rosenbloom, que denominamos de álgebras de Rosenbloom. Desenvolvemos a teoria dessas álgebras,estabelecendo, entre outros, resultados de correção e de completude, bem como a relacionamos com outras teorias algébricas, como a dos anéis hilbertianos de M. Guillaume. De fato, evidenciamos que o conceito de álgebra de Rosenbloom possuigrande poder de unificação, sistematizando uma boa parte da lógica e da matemática. Todavia, nosso objetivo principal é o de mostrar como as álgebras em apreço podem ser utilizadas na fundamentação da matemática, prescindindo-se de basesconjuntistas ou categoriais. Nossa maneira de encarar a matemática é operacional e pragmática, muito ao gosto do matemático profissional
- Imprenta:
- Data da defesa: 27.01.2000
-
ABNT
KNUDSEN, Carlos Alberto. Álgebras de Rosenbloom e fundamentos da matemática. 2000. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2000. . Acesso em: 06 maio 2026. -
APA
Knudsen, C. A. (2000). Álgebras de Rosenbloom e fundamentos da matemática (Tese (Doutorado). Universidade de São Paulo, São Paulo. -
NLM
Knudsen CA. Álgebras de Rosenbloom e fundamentos da matemática. 2000 ;[citado 2026 maio 06 ] -
Vancouver
Knudsen CA. Álgebras de Rosenbloom e fundamentos da matemática. 2000 ;[citado 2026 maio 06 ]
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
