Formalizando a existência dos números reais. -

Orientador: Jamil Viana Pereira === Banca: Tiago Henrique Picon === Banca: Renata Zotin Gomes de Oliveira === Resumo: Este trabalho busca formalizar a existência do conjunto dos números reais como um corpo ordenado completo. Mostraremos a construção de R a partir dos cortes de Dedekind e apresentare...

Full description

Bibliographic Details
Main Author: Pereira, Rafael Falco.
Other Authors: Universidade Estadual Paulista "Júlio de Mesquita Filho" Instituto de Geociências e Ciências Exatas.
Format: Others
Language:Portuguese
Portuguese
Resumos em português e inglês
Published: Rio Claro, 2014
Subjects:
Online Access:http://hdl.handle.net/11449/123987