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...
Main Author: | |
---|---|
Other Authors: | |
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 |