A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics
Main Author: | |
---|---|
Publication Date: | 2007 |
Format: | Master thesis |
Language: | por |
Source: | Biblioteca Digital de Teses e Dissertações da UFC |
Download full: | http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1516 |
Summary: | 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 |