• 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
 
 
Mémoire de Maîtrise
DOI
https://doi.org/10.11606/D.45.2019.tde-29102019-170038
Document
Auteur
Nom complet
Lazaro Divino Assunção
Adresse Mail
Unité de l'USP
Domain de Connaissance
Date de Soutenance
Editeur
São Paulo, 2019
Directeur
Jury
Bianconi, Ricardo (Président)
Coniglio, Marcelo Esteban
Lopes, Vinicius Cifú
Titre en portugais
Simplicidade e poder expressivo da geometria tarskiana
Mots-clés en portugais
Geometria
Geometria tarskiana
Resumé en portugais
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.
Titre en anglais
Simplicity and expressive power of geometry Tarskian
Mots-clés en anglais
Geometry
Geometry Tarskian
Tarskian
Resumé en anglais
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.
 
AVERTISSEMENT - Regarde ce document est soumise à votre acceptation des conditions d'utilisation suivantes:
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
Date de Publication
2019-11-04
 
AVERTISSEMENT: Apprenez ce que sont des œvres dérivées cliquant ici.
Tous droits de la thèse/dissertation appartiennent aux auteurs
CeTI-SC/STI
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2024. Tous droits réservés.