Simplicidade e poder expressivo da geometria tarskiana (2019)
- Authors:
- Autor USP: ASSUNÇÃO, LAZARO DIVINO - IME
- Unidade: IME
- Sigla do Departamento: MAT
- Assunto: GEOMETRIA ELEMENTAR
- Keywords: Geometria tarskiana; Geometry; Geometry Tarskian; Tarskian
- Language: Português
- Abstract: Esta dissertação examinará dois temas no âmbito da geometria elementar. O primeiro tratará da expressividade da geometria de Alfred Tarski. Serão fornecidas as condições para que as fórmulas da geometria proposta por David Hilbert possam ser interpretadas na linguagem da geometria tarskiana. Por meio dessa interpretação, será apresentada uma prova de que os axiomas do sistema de Hilbert são teoremas no sistema da geometria elementar de Tarski. O segundo tema abordará o conceito de simplicidade em geometrias à la Tarski. Lançaremos mão de um sistema de axiomas devido a Victor Pambuccian, relativo à geometria hiperbólica; e, utilizando o critério sintático de simplicidade, mostraremos que esse sistema é o mais simples. Para finalizar, uma exposição dos pontos de vista de Jesse Alama e T. J. M. Makarios sobre simplificações na geometria elementar absoluta
- Imprenta:
- Data da defesa: 25.09.2019
-
ABNT
ASSUNÇÃO, Lázaro Divino. Simplicidade e poder expressivo da geometria tarskiana. 2019. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-29102019-170038/. Acesso em: 09 jan. 2026. -
APA
Assunção, L. D. (2019). Simplicidade e poder expressivo da geometria tarskiana (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-29102019-170038/ -
NLM
Assunção LD. Simplicidade e poder expressivo da geometria tarskiana [Internet]. 2019 ;[citado 2026 jan. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-29102019-170038/ -
Vancouver
Assunção LD. Simplicidade e poder expressivo da geometria tarskiana [Internet]. 2019 ;[citado 2026 jan. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-29102019-170038/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
