Considerações sobre a demonstração original do teorema da completude de Kurt Gödel

Considerações sobre a demonstração original do teorema da completude de Kurt Gödel

Made available in DSpace on 2016-04-27T17:27:11Z (GMT). No. of bitstreams: 1 Cassia Sampaio Sanctos.pdf: 875084 bytes, checksum: 3baa23ce43e41c748fa70bf983f30e20 (MD5) Previous issue date: 2015-05-11 === Coordenação de Aperfeiçoamento de Pessoal de Nível Superior === The thesis constitutes a criti...

Full description

Bibliographic Details
Main Author: Sanctos, Cassia Sampaio
Other Authors: Porta, Mario Ariel González
Format: Others
Language:Portuguese
Published: Pontifícia Universidade Católica de São Paulo 2016
Subjects:
Kurt Gödel
Completude
Lógica de primeira ordem
LPO
Cálculo de predicados
Cálculo funcional restrito
Formalismo
Método axiomático
Programa de Hilbert
Completeness
First order logic
Predicate calculus
Functional restricted calculus
FOL
Formalism
Axiomatic method
Hilbert´s program
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
Online Access:https://tede2.pucsp.br/handle/handle/11683

Internet

https://tede2.pucsp.br/handle/handle/11683

Similar Items