Please use this identifier to cite or link to this item: http://hdl.handle.net/1843/BUOS-9QHJ9B
Full metadata record
DC FieldValueLanguage
dc.contributor.advisor1Abilio Azambuja Rodrigues Filhopt_BR
dc.contributor.referee1Antonio Mariano Nogueira Coelhopt_BR
dc.contributor.referee2André da Silva Portopt_BR
dc.creatorJackeline Nogueira Paespt_BR
dc.date.accessioned2019-08-14T16:27:31Z-
dc.date.available2019-08-14T16:27:31Z-
dc.date.issued2014-08-05pt_BR
dc.identifier.urihttp://hdl.handle.net/1843/BUOS-9QHJ9B-
dc.description.abstractDuring 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.pt_BR
dc.description.resumoNa 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.pt_BR
dc.languagePortuguêspt_BR
dc.publisherUniversidade Federal de Minas Geraispt_BR
dc.publisher.initialsUFMGpt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectInfinitopt_BR
dc.subjectEquiconsistênciapt_BR
dc.subjectIntuicionismopt_BR
dc.subjectVerdadept_BR
dc.subjectTraduções de dupla negaçãopt_BR
dc.subjectPrincípio do Terceiro Excluídopt_BR
dc.subjectExistênciapt_BR
dc.subject.otherMatemática Filosofiapt_BR
dc.subject.otherFilosofiapt_BR
dc.subject.otherAritméticapt_BR
dc.titleA rejeição do princípio do terceiro excluído e suas consequências na aritmética de Heytingpt_BR
dc.typeDissertação de Mestradopt_BR
Appears in Collections:Dissertações de Mestrado



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.