Simplicidade e poder expressivo da geometria tarskiana

Detalhes bibliográficos
Autor(a) principal: Assunção, Lazaro Divino
Data de Publicação: 2019
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-29102019-170038/
Resumo: 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.
id USP_b9b4f24ec8f67b68443070e529bc8373
oai_identifier_str oai:teses.usp.br:tde-29102019-170038
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Simplicidade e poder expressivo da geometria tarskianaSimplicity and expressive power of geometry TarskianGeometriaGeometria tarskianaGeometryGeometry TarskianTarskianEsta 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.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.Biblioteca Digitais de Teses e Dissertações da USPBianconi, RicardoAssunção, Lazaro Divino2019-09-25info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/45/45131/tde-29102019-170038/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2019-11-08T23:43:28Zoai:teses.usp.br:tde-29102019-170038Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212019-11-08T23:43:28Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Simplicidade e poder expressivo da geometria tarskiana
Simplicity and expressive power of geometry Tarskian
title Simplicidade e poder expressivo da geometria tarskiana
spellingShingle Simplicidade e poder expressivo da geometria tarskiana
Assunção, Lazaro Divino
Geometria
Geometria tarskiana
Geometry
Geometry Tarskian
Tarskian
title_short Simplicidade e poder expressivo da geometria tarskiana
title_full Simplicidade e poder expressivo da geometria tarskiana
title_fullStr Simplicidade e poder expressivo da geometria tarskiana
title_full_unstemmed Simplicidade e poder expressivo da geometria tarskiana
title_sort Simplicidade e poder expressivo da geometria tarskiana
author Assunção, Lazaro Divino
author_facet Assunção, Lazaro Divino
author_role author
dc.contributor.none.fl_str_mv Bianconi, Ricardo
dc.contributor.author.fl_str_mv Assunção, Lazaro Divino
dc.subject.por.fl_str_mv Geometria
Geometria tarskiana
Geometry
Geometry Tarskian
Tarskian
topic Geometria
Geometria tarskiana
Geometry
Geometry Tarskian
Tarskian
description 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.
publishDate 2019
dc.date.none.fl_str_mv 2019-09-25
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://www.teses.usp.br/teses/disponiveis/45/45131/tde-29102019-170038/
url http://www.teses.usp.br/teses/disponiveis/45/45131/tde-29102019-170038/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1809091188318273536

Registros relacionados