A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics
Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico === 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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Universidade Federal do CearÃ
2007
|
| Subjects: | |
| Online Access: | http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1516 |