A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics

Detalhes bibliográficos
Autor(a) principal: Pablo Mayckon Silva Farias
Data de Publicação: 2007
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFC
Texto Completo: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1516
Resumo: Este trabalho à um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade ao desenvolvimento formal da MatemÃtica. Primeiramente, à apresentada a teoria aritmÃtica de Dedekind, a primeira teoria a fornecer uma definiÃÃo precisa para os nÃmeros naturais e com base nela demonstrar todos os fatos comumente conhecidos a seu respeito. à tambÃm apresentada a axiomatizaÃÃo da AritmÃtica feita por Peano, que de certa forma simplificou a teoria de Dedekind. Em seguida, à apresentada a ome{german}{Begriffsschrift} de Frege, a linguagem formal que deu origem à LÃgica moderna, e nela sÃo representadas as definiÃÃes bÃsicas de Frege a respeito da noÃÃo de nÃmero. Posteriormente, à apresentado um resumo de questÃes importantes em fundamentos da MatemÃtica durante as primeiras trÃs dÃcadas do sÃculo XX, iniciando com os paradoxos na Teoria dos Conjuntos e terminando com a doutrina formalista de Hilbert. Por fim, sÃo apresentados, em linhas gerais, os teoremas de incompletude de GÃdel e o conceito de computabilidade de Turing, que apresentaram respostas precisas Ãs duas mais importantes questÃes do programa de Hilbert, a saber, uma prova direta de consistÃncia para a AritmÃtica e o problema da decisÃo, respectivamente.
id UFC_2ceff631dff42ee7b5bbce1e4de2738f
oai_identifier_str oai:www.teses.ufc.br:1176
network_acronym_str UFC
network_name_str Biblioteca Digital de Teses e Dissertações da UFC
spelling info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisA study about the origins of Mathematical Logic and the limits of its applicability to the formalization of MathematicsUm estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade à formalizaÃÃo da MatemÃtica2007-08-31Tarcisio Haroldo Cavalcante Pequeno01504290372http://dgp.cnpq.br/buscaoperacional/detalhepesq.jsp?pesq=8763487086911020Nelson Maculan Filho24572098700http://lattes.cnpq.br/4436183480921146Marcelino Cavalcante Pequeno55006426772http://lattes.cnpq.br/375635137455237896182784334http://lattes.cnpq.br/7678130748412873Pablo Mayckon Silva FariasUniversidade Federal do CearÃPrograma de PÃs-GraduaÃÃo em CiÃncia da ComputaÃÃoUFCBRLÃgica MatemÃtica Fundamentos da MatemÃtica Teoremas de incompletude de GÃdelMathematical Logic Foundations of MathematicsLOGICA MATEMATICAEste trabalho à um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade ao desenvolvimento formal da MatemÃtica. Primeiramente, à apresentada a teoria aritmÃtica de Dedekind, a primeira teoria a fornecer uma definiÃÃo precisa para os nÃmeros naturais e com base nela demonstrar todos os fatos comumente conhecidos a seu respeito. à tambÃm apresentada a axiomatizaÃÃo da AritmÃtica feita por Peano, que de certa forma simplificou a teoria de Dedekind. Em seguida, à apresentada a ome{german}{Begriffsschrift} de Frege, a linguagem formal que deu origem à LÃgica moderna, e nela sÃo representadas as definiÃÃes bÃsicas de Frege a respeito da noÃÃo de nÃmero. Posteriormente, à apresentado um resumo de questÃes importantes em fundamentos da MatemÃtica durante as primeiras trÃs dÃcadas do sÃculo XX, iniciando com os paradoxos na Teoria dos Conjuntos e terminando com a doutrina formalista de Hilbert. Por fim, sÃo apresentados, em linhas gerais, os teoremas de incompletude de GÃdel e o conceito de computabilidade de Turing, que apresentaram respostas precisas Ãs duas mais importantes questÃes do programa de Hilbert, a saber, uma prova direta de consistÃncia para a AritmÃtica e o problema da decisÃo, respectivamente.This work is a study about the origins of Mathematical Logic and the limits of its applicability to the formal development of Mathematics. Firstly, Dedekindâs arithmetical theory is presented, which was the first theory to provide a precise definition for natural numbers and to demonstrate relying on it all facts commonly known about them. Peanoâs axiomatization for Arithmetic is also presented, which in a sense simplified Dedekindâs theory. Then, Fregeâs Begriffsschrift is presented, the formal language from which modern Logic originated, and in it are represented Fregeâs basic definitions concerning the notion of number. Afterwards, a summary of important topics on the foundations of Mathematics from the first three decades of the twentieth century is presented, beginning with the paradoxes in Set Theory and ending with Hilbertâs formalist doctrine. At last, are presented, in general terms, GÃdelâs incompleteness. theorems and Turingâs computability concept, which provided precise answers to the two most important points in Hilbertâs program, to wit, a direct proof of consistency for Arithmetic and the decision problem, respectively. Keywords: 1. Mathematical Logic 2. Foundations of Mathematics 3. GÃdelâs incompleteness theoremsConselho Nacional de Desenvolvimento CientÃfico e TecnolÃgicohttp://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1516application/pdfinfo:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Teses e Dissertações da UFCinstname:Universidade Federal do Cearáinstacron:UFC2019-01-21T11:14:31Zmail@mail.com -
dc.title.en.fl_str_mv A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics
dc.title.alternative.pt.fl_str_mv Um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade à formalizaÃÃo da MatemÃtica
title A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics
spellingShingle A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics
Pablo Mayckon Silva Farias
LÃgica MatemÃtica
Fundamentos da MatemÃtica
Teoremas de incompletude de GÃdel
Mathematical Logic
Foundations of Mathematics
LOGICA MATEMATICA
title_short A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics
title_full A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics
title_fullStr A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics
title_full_unstemmed A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics
title_sort A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics
author Pablo Mayckon Silva Farias
author_facet Pablo Mayckon Silva Farias
author_role author
dc.contributor.advisor1.fl_str_mv Tarcisio Haroldo Cavalcante Pequeno
dc.contributor.advisor1ID.fl_str_mv 01504290372
dc.contributor.advisor1Lattes.fl_str_mv http://dgp.cnpq.br/buscaoperacional/detalhepesq.jsp?pesq=8763487086911020
dc.contributor.advisor-co1.fl_str_mv Nelson Maculan Filho
dc.contributor.advisor-co1ID.fl_str_mv 24572098700
dc.contributor.advisor-co1Lattes.fl_str_mv http://lattes.cnpq.br/4436183480921146
dc.contributor.referee1.fl_str_mv Marcelino Cavalcante Pequeno
dc.contributor.referee1ID.fl_str_mv 55006426772
dc.contributor.referee1Lattes.fl_str_mv http://lattes.cnpq.br/3756351374552378
dc.contributor.authorID.fl_str_mv 96182784334
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/7678130748412873
dc.contributor.author.fl_str_mv Pablo Mayckon Silva Farias
contributor_str_mv Tarcisio Haroldo Cavalcante Pequeno
Nelson Maculan Filho
Marcelino Cavalcante Pequeno
dc.subject.por.fl_str_mv LÃgica MatemÃtica
Fundamentos da MatemÃtica
Teoremas de incompletude de GÃdel
topic LÃgica MatemÃtica
Fundamentos da MatemÃtica
Teoremas de incompletude de GÃdel
Mathematical Logic
Foundations of Mathematics
LOGICA MATEMATICA
dc.subject.eng.fl_str_mv Mathematical Logic
Foundations of Mathematics
dc.subject.cnpq.fl_str_mv LOGICA MATEMATICA
dc.description.sponsorship.fl_txt_mv Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico
dc.description.abstract.por.fl_txt_mv Este trabalho à um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade ao desenvolvimento formal da MatemÃtica. Primeiramente, à apresentada a teoria aritmÃtica de Dedekind, a primeira teoria a fornecer uma definiÃÃo precisa para os nÃmeros naturais e com base nela demonstrar todos os fatos comumente conhecidos a seu respeito. à tambÃm apresentada a axiomatizaÃÃo da AritmÃtica feita por Peano, que de certa forma simplificou a teoria de Dedekind. Em seguida, à apresentada a ome{german}{Begriffsschrift} de Frege, a linguagem formal que deu origem à LÃgica moderna, e nela sÃo representadas as definiÃÃes bÃsicas de Frege a respeito da noÃÃo de nÃmero. Posteriormente, à apresentado um resumo de questÃes importantes em fundamentos da MatemÃtica durante as primeiras trÃs dÃcadas do sÃculo XX, iniciando com os paradoxos na Teoria dos Conjuntos e terminando com a doutrina formalista de Hilbert. Por fim, sÃo apresentados, em linhas gerais, os teoremas de incompletude de GÃdel e o conceito de computabilidade de Turing, que apresentaram respostas precisas Ãs duas mais importantes questÃes do programa de Hilbert, a saber, uma prova direta de consistÃncia para a AritmÃtica e o problema da decisÃo, respectivamente.
dc.description.abstract.eng.fl_txt_mv This work is a study about the origins of Mathematical Logic and the limits of its applicability to the formal development of Mathematics. Firstly, Dedekindâs arithmetical theory is presented, which was the first theory to provide a precise definition for natural numbers and to demonstrate relying on it all facts commonly known about them. Peanoâs axiomatization for Arithmetic is also presented, which in a sense simplified Dedekindâs theory. Then, Fregeâs Begriffsschrift is presented, the formal language from which modern Logic originated, and in it are represented Fregeâs basic definitions concerning the notion of number. Afterwards, a summary of important topics on the foundations of Mathematics from the first three decades of the twentieth century is presented, beginning with the paradoxes in Set Theory and ending with Hilbertâs formalist doctrine. At last, are presented, in general terms, GÃdelâs incompleteness. theorems and Turingâs computability concept, which provided precise answers to the two most important points in Hilbertâs program, to wit, a direct proof of consistency for Arithmetic and the decision problem, respectively. Keywords: 1. Mathematical Logic 2. Foundations of Mathematics 3. GÃdelâs incompleteness theorems
description Este trabalho à um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade ao desenvolvimento formal da MatemÃtica. Primeiramente, à apresentada a teoria aritmÃtica de Dedekind, a primeira teoria a fornecer uma definiÃÃo precisa para os nÃmeros naturais e com base nela demonstrar todos os fatos comumente conhecidos a seu respeito. à tambÃm apresentada a axiomatizaÃÃo da AritmÃtica feita por Peano, que de certa forma simplificou a teoria de Dedekind. Em seguida, à apresentada a ome{german}{Begriffsschrift} de Frege, a linguagem formal que deu origem à LÃgica moderna, e nela sÃo representadas as definiÃÃes bÃsicas de Frege a respeito da noÃÃo de nÃmero. Posteriormente, à apresentado um resumo de questÃes importantes em fundamentos da MatemÃtica durante as primeiras trÃs dÃcadas do sÃculo XX, iniciando com os paradoxos na Teoria dos Conjuntos e terminando com a doutrina formalista de Hilbert. Por fim, sÃo apresentados, em linhas gerais, os teoremas de incompletude de GÃdel e o conceito de computabilidade de Turing, que apresentaram respostas precisas Ãs duas mais importantes questÃes do programa de Hilbert, a saber, uma prova direta de consistÃncia para a AritmÃtica e o problema da decisÃo, respectivamente.
publishDate 2007
dc.date.issued.fl_str_mv 2007-08-31
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
status_str publishedVersion
format masterThesis
dc.identifier.uri.fl_str_mv http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1516
url http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1516
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal do CearÃ
dc.publisher.program.fl_str_mv Programa de PÃs-GraduaÃÃo em CiÃncia da ComputaÃÃo
dc.publisher.initials.fl_str_mv UFC
dc.publisher.country.fl_str_mv BR
publisher.none.fl_str_mv Universidade Federal do CearÃ
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFC
instname:Universidade Federal do Ceará
instacron:UFC
reponame_str Biblioteca Digital de Teses e Dissertações da UFC
collection Biblioteca Digital de Teses e Dissertações da UFC
instname_str Universidade Federal do Ceará
instacron_str UFC
institution UFC
repository.name.fl_str_mv -
repository.mail.fl_str_mv mail@mail.com
_version_ 1643295119383724032