Os Teoremas da Incompletude: da construção de sistemas formais à sentença de Gödel

DSpace Repository

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	Size	Format	View
TCC-Getulio Pinto da Rosa-assinado.pdf	457.9Kb	PDF	View/Open