Um estudo sobre as origens da Lógica Matemática e os limites da sua aplicabilidade à formalização da Matemática
| Main Author: | |
|---|---|
| Publication Date: | 2007 |
| Format: | Master thesis |
| Language: | por |
| Download full: | 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 |