Um estudo sobre as origens da Lógica Matemática e os limites da sua aplicabilidade à formalização da Matemática

Detalhes bibliográficos
Autor(a) principal: Farias, Pablo Mayckon Silva
Data de Publicação: 2007
Tipo de documento: Dissertação
Idioma: por
Texto Completo: http://www.repositorio.ufc.br/handle/riufc/18511
id UFC-7_26437a7d053937a67e71d41ca5a7b7a4
oai_identifier_str oai:www.repositorio.ufc.br:riufc/18511
network_name_str Repositório Institucional da Universidade Federal do Ceará (UFC)
title Um estudo sobre as origens da Lógica Matemática e os limites da sua aplicabilidade à formalização da Matemática
author Farias, Pablo Mayckon Silva
topic Lógica matemática
Fundamentos da matemática
Teoremas de incompletude de Gödel
Mathematical logic
Foundations of mathematics
publishDate 2007
format masterThesis
url http://www.repositorio.ufc.br/handle/riufc/18511
language por
instname_str Universidade Federal do Ceará (UFC)
instacron_str UFC