Portal do Governo Brasileiro
s
Mostrando
1 - 1
resultados de
1
para a busca '
"Completude (lógica)"
'
Pular para o conteúdo
Institucional
Sobre
Como participa
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Dúvidas frequentes
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Resultados da busca: "Completude (lógica)"
Buscas alternativas
:
completude »
complete
(Expandir a busca)
,
completed
(Expandir a busca)
Mostrando
1 - 1
resultados de
1
para a busca '
"Completude (lógica)"
'
, tempo de busca: 0,06s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Export RIS
Exportar CSV
1
Considerações sobre a demonstração original do teorema da completude de Kurt Gödel
Por
Sanctos, Cassia Sampaio
Publicado em 2015
Acessar documento
Tese
Voltar
Refinar a Busca
Instituição de defesa
Pontifícia Universidade Católica de São Paulo (PUC-SP)
1
Bases coletadas
Biblioteca Digital de Teses e Dissertações da PUC_SP
1
Programa de Pós-Graduação
Programa de Estudos Pós-Graduados em Filosofia
1
Autor
Sanctos, Cassia Sampaio
1
Orientador(a)
González Porta, Mário Ariel
1
Tipo de documento
Tese
1
Tipo de acesso
openAccess
1
Idioma
Português
1
Assunto
Completude
1
Cálculo de predicados
1
Cálculo funcional restrito
1
Formalismo
1
Kurt Gödel
1
LPO
1
Mais ...
Lógica de primeira ordem
1
Método axiomático
1
Programa de Hilbert
1
Ver todos ...
menos ...
Assunto em inglês
Axiomatic method
1
Completeness
1
FOL
1
First order logic
1
Formalism
1
Functional restricted calculus
1
Mais ...
Hilbert´s program
1
Kurt Gödel
1
Predicate calculus
1
Ver todos ...
menos ...
Área do conhecimento CNPq
FILOSOFIA
1
Ano da publicação
De:
Até:
Carregando...
