Os Teoremas da Incompletude: da construção de sistemas formais à sentença de Gödel
DSpace Repository
Os Teoremas da Incompletude: da construção de sistemas formais à sentença de Gödel
| Title: | Os Teoremas da Incompletude: da construção de sistemas formais à sentença de Gödel |
| Author: | Rosa, Getúlio Pinto da |
| Abstract: | O principal objetivo deste trabalho é apresentar os Teoremas da Incampletude de maneira acessível [...] |
| Description: | TCC (graduação) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Matemática. |
| URI: | https://repositorio.ufsc.br/handle/123456789/252350 |
| Date: | 2023-06-27 |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| TCC-Getulio Pinto da Rosa-assinado.pdf | 457.9Kb |
View/ |
This item appears in the following Collection(s)
-
TCC Matemática [483]
