Use este identificador para citar o ir al link de este elemento: http://hdl.handle.net/1843/BUOS-9QHJ9B
Tipo: Dissertação de Mestrado
Título: A rejeição do princípio do terceiro excluído e suas consequências na aritmética de Heyting
Autor(es): Jackeline Nogueira Paes
primer Tutor: Abilio Azambuja Rodrigues Filho
primer miembro del tribunal : Antonio Mariano Nogueira Coelho
Segundo miembro del tribunal: André da Silva Porto
Resumen: Na transição do século XIX para o século XX, a matemática conquistou desenvolvimentos importantes. Contudo, a esses desenvolvimentos, seguiu-se a descoberta de paradoxos, entre eles os conhecidos paradoxos de Russell e de Cantor, que abriram as discussões sobre os fundamentos da matemática. Estas discussões visavam encontrar uma fundação segura, livre de erros e imprecisões, para esta ciência. O Intuicionismo, uma alternativa para a matemática clássica, teve origem nas ideias construtivistas expostas pelo matemático holandês L. E. J. Brouwer, e tinha como consequência a rejeição do Princípio do Terceiro Excluído. Tal rejeição está baseada , sobretudo, na tese de que os objetos matemáticos são construções mentais e, por conseguinte, na rejeição de um âmbito suprassensível e pré-existente de entes matemáticos. Assim, o objetivo do presente trabalho é mostrar que essa tese depende do modo pelo qual Brouwer compreendia três conceitos fundamentais para a matemática, a saber, infinito, verdade e existência. A seguir, mostraremos as consequências da rejeição do terceiro excluído na aritmética. Veremos que, pelo menos no caso da aritmética, a rejeição do terceiro excluído não seria suficiente para evitar inconsistências. Discutiremos as traduções de duplas negações apresentadas por Kolmogorov, Gödel e Gentzen e, por fim, apresentaremos uma prova da equiconsistência da aritmética intuicionista e clássica.
Abstract: During the transition from the XIX to the XX century, mathematics got important developments. However, these developments were followed by the discovery of paradoxes, including the known paradoxes of Russell and Cantor, who opened the discussion on the foundations of mathematics. These discussions aimed to find a secure foundation free of errors and impreciseness for this science. The Intuitionism, an alternative to classical mathematics, was originated in the constructivist ideas exposed by the Dutch mathematician L. E. J. Brouwer, and has resulted in the rejection of the Principle Excluded Middle. This rejection is mainly based on the thesis that mathematical objects are constructs of the mind and, therefore, the rejection of one supersensible and preexisting field of mathematics entities. We aim in this work to demonstrate which that thesis depends on the way in which Brouwer includes three fundamental concepts to the mathematics, namely, infinite, truth and existence. After, we demonstrate the consequences of the rejection of Excluded Middle in arithmetic. We will see, at least in the case of arithmetic that rejection of the Excluded Middle would not be enough to avoid inconsistencies. We also discuss the translations of double negations performed by Kolmogorov, Gentzen and Gödel and, finally, we will introduce a proof of the equiconsistency of intuitionistic and classical arithmetical.
Asunto: Matemática Filosofia
Filosofia
Aritmética
Idioma: Português
Editor: Universidade Federal de Minas Gerais
Sigla da Institución: UFMG
Tipo de acceso: Acesso Aberto
URI: http://hdl.handle.net/1843/BUOS-9QHJ9B
Fecha del documento: 5-ago-2014
Aparece en las colecciones:Dissertações de Mestrado



Los elementos en el repositorio están protegidos por copyright, con todos los derechos reservados, salvo cuando es indicado lo contrario.