In this work, we investigated the construction of natural, integer, rational, real, complex, quaternion and Octonion numbers. More precisely, the set of real numbers was achieved by applying two methods: Dedekind Cuts and Equivalence Classes of Cauchy Sequences. Our study is only based on using Peano Axioms, which are directly related to the natural numbers, in order to get the basic properties satis ed by these numbers. In addition, we carefully proved the elementary results involving real numbers. This process in question was developed constructively throughout of the concepts of the integer and rational numbers. Next, we show that it is possible to establish the existence of complex numbers along with their more usual arithmetic properties. Finally, we nish each chapter of our work showing some possible applications in each set worked. / No presente trabalhos, investigamos, cuidadosamente, a construção do números Naturais, inteiros, Racionais, Reais e Complexos. Sendo que, o conjunto dos números reais foi obtido através dos conhecidos métodos: Cortes de Dedekind e Classes de Equivalência por sequência de Cauchy. O estudo consistiu em utilizar os famosos Axiomas de Peano, ps quais estão relacionados aos números naturais, em ordem a obter as em conhecidas propriedades elementares, satisfeitas para todos esses números. E, a partir deste conhecimento, encontramos rigorosamente as provas dos resultados básicos envolvendo os números reais. Este processo em questão, foi desenvolvida de maneira construtiva através dos números inteiros e racionais. Em seguida, mostramos que é possível estabelecer a existência de números complexos, juntamente com suas propriedades aritméticas mais usuais. Por fim, terminamos cada capítulo do nosso trabalho, mostrando algumas possíveis aplicações em cada conjunto trabalhado.

Este trabalho apresenta a construção dos conjuntos dos números naturais, inteiros, racionais e reais, buscando contemplar uma mediação entre alunos e professores do ensino médio que possa contribuir em uma abordagem facilitadora para o processo de ensino e aprendizagem. A construção dos conjuntos numéricos é feita de modo progressivo, apresentando leis e propriedades que definem cada um deles. Os capítulos apresentam teoremas que são provados de modo que o leitor possa conseguir, efetivamente, estabelecer um elo entre a teoria matemática e suas abstrações iniciais inerentes aos estudantes em formação. / This work presents the construction of the sets of natural, integer, rational and real numbers, aiming to contemplate a mediation between high school students and teachers that can contribute to an easy approach to the teaching and learning processes. The construction of the numerical sets is done progressively presenting laws and properties that define each one of them. The chapters present theorems that are proven so that the reader can effectively establish a link between mathematical theory and its initial abstractions inherent in the students in formation.

Submitted by JOÃO PAULO DA CRUZ ALMEIDA (joaopauloalmeida2010@gmail.com) on 2017-09-26T16:20:50Z No. of bitstreams: 1 Minha Dissertação.pdf: 1021011 bytes, checksum: 1717c0a1baae32699bdf06c781a9ed31 (MD5) / Approved for entry into archive by Monique Sasaki (sayumi_sasaki@hotmail.com) on 2017-09-28T12:58:50Z (GMT) No. of bitstreams: 1 almeida_jpc_me_sjrp.pdf: 1021011 bytes, checksum: 1717c0a1baae32699bdf06c781a9ed31 (MD5) / Made available in DSpace on 2017-09-28T12:58:50Z (GMT). No. of bitstreams: 1 almeida_jpc_me_sjrp.pdf: 1021011 bytes, checksum: 1717c0a1baae32699bdf06c781a9ed31 (MD5) Previous issue date: 2017-06-29 / Este trabalho apresenta uma proposta relacionada ao ensino e prática do pensamento dedutivo formal em Matemática. São apresentados no âmbito do conjunto dos números Naturais três temas essencialmente interligados: indução/boa ordem, dedução e esquemas de computação representados pela máquina teórica de Turing. Os três temas se amalgamam na teoria lógica de dedução e tangem os fundamentos da Matemática, sua própria indecidibilidade e extensões / limites de tudo que pode ser deduzido utilizando a lógica de Aristóteles, caminho tão profundamente utilizado nos trabalhos de Gödel, Church, Turing, Robinson e outros. São apresentadas inúmeros esquemas de dedução referentes às “fórmulas” e Teoremas que permeiam o ensino fundamental e básico, com uma linguagem apropriada visando treinar os alunos (e professores) para um enfoque mais próprio pertinente à Matemática. / This work deals with the teaching and practice of formal deductive thinking in Mathematics. Three essentially interconnected themes are presented within the set of Natural Numbers: induction, deduction and computation schemes represented by the Turing theoretical machine. The three themes are put together into the logical theory of deduction and touch upon the foundations of Mathematics, its own undecidability and the extent / limits of what can be deduced by using Aristotle's logic, that is the subject in the works of Gödel, Church, Turing, Robinson, and others. There are a large number of deduction schemes referring to the "formulas" and Theorems that are usual subjects in elementary and basic degrees of the educational field, with an appropriate language in order to train students (and teachers) for a more pertinent approach to Mathematics.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The present work has as main objective to approach the fundaments of logic and the notions of sets in a narrow and elementary way, culminating in the construction of natural numbers. We present and advance, as far as possible, natural and intuitively, the concepts of propositions and open propositions, and the use of these in the speci cation sets, according with the axiom of the speci cation. We also present the logic connectives of open propositions and logic equivalences, relating them to the sets. We showed the concept of Theorem, as well as some forms of writing and demonstrations in the scope of the sets, and we used properties and relations of sets in the demonstration techniques. Our study ended with the construction of natural numbers and some of its properties, for example, the Relation Order. / O presente trabalho tem como principal objetivo abordar os fundamentos de lógica e as noções de conjuntos de maneira estreita e elementar, culminando na constru- ção dos números naturais. Apresentamos, e progredimos na medida do possível, de forma natural e/ou intuitiva, os conceitos de proposições e proposições abertas, e o uso destes nas especi cações de conjuntos, de acordo com o axioma da especi cação. Apresentamos também os conectivos lógicos de proposições abertas e as equivalências lógicas, relacionando-os aos conjuntos. Mostramos o conceito de Teorema, bem como algumas formas de escritas e demonstrações no âmbito dos conjuntos, e utilizamos propriedades e relações de conjuntos nas técnicas de demonstração. Encerramos nosso estudo com a construção dos números naturais e algumas das suas principais propriedades, como por exemplo, a Relação de Ordem.