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

DSpace Repository

dc.contributor	Universidade Federal de Santa Catarina.	pt_BR
dc.contributor.advisor	Caramello Junior, Francisco Carlos
dc.contributor.author	Rosa, Getúlio Pinto da
dc.date.accessioned	2023-12-01T12:20:54Z
dc.date.available	2023-12-01T12:20:54Z
dc.date.issued	2023-06-27
dc.identifier.uri	https://repositorio.ufsc.br/handle/123456789/252350
dc.description	TCC (graduação) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Matemática.	pt_BR
dc.description.abstract	O principal objetivo deste trabalho é apresentar os Teoremas da Incampletude de maneira acessível [...]	pt_BR
dc.language.iso	pt_BR	pt_BR
dc.publisher	Florianópolis, SC.	pt_BR
dc.rights	Open Access.	en
dc.subject	sistema formal, teoremas de incompletude, Kurt Gödel, lógica-matemática, axiomatização.	pt_BR
dc.title	Os Teoremas da Incompletude: da construção de sistemas formais à sentença de Gödel	pt_BR
dc.type	TCCgrad	pt_BR

Files	Size	Format	View
TCC-Getulio Pinto da Rosa-assinado.pdf	457.9Kb	PDF	View/Open