Um estudo sobre as origens da Lógica Matemática e os limites da sua aplicabilidade à formalização da Matemática
Autor(a) principal: | |
---|---|
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 |