• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Dissertação de Mestrado
DOI
Documento
Autor
Nome completo
Lazaro Divino Assunção
E-mail
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Paulo, 2019
Orientador
Banca examinadora
Bianconi, Ricardo (Presidente)
Coniglio, Marcelo Esteban
Lopes, Vinicius Cifú
Título em português
Simplicidade e poder expressivo da geometria tarskiana
Palavras-chave em português
Geometria
Geometria tarskiana
Resumo em português
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.
Título em inglês
Simplicity and expressive power of geometry Tarskian
Palavras-chave em inglês
Geometry
Geometry Tarskian
Tarskian
Resumo em inglês
This dissertation will examine two themes in the realm of elementary geometry. The first theme will deal with the expressiveness of Alfred Tarskis geometry. The conditions for which formulae in the language of geometry proposed by David Hilbert can be interpreted in the one proposed by Alfred Tarski will be provided. By means of this interpretation, it will be presented a proof that the axioms of Hilberts system are theorems in the Tarskis elementary geometry system. The second theme will approach the concept of simplicity in Tarski like geometries. A system of axioms due to Victor Pambuccian which expresses the hyperbolic geometry is presented and, by using syntactical criterium of simplicity, it is shown that this system is the simplest possible. The dissertation ends with an exposition of points of view of Jesse Alama and T.J.M. Makarios about simplifications in elementary absolute geometry.
 
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso:
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
Data de Publicação
2019-11-04
 
AVISO: Saiba o que são os trabalhos decorrentes clicando aqui.
Todos os direitos da tese/dissertação são de seus autores
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2020. Todos os direitos reservados.