Re: [Logica-l] (In)decidibilidade e (In)completude

Salve Hermógenes, Vamos tentar de novo. Você copiou a definição errada do Ebbinghaus, essa não é a 2.6. Você pegou o item (b) da 2.5, página 160, que corresponde a register-decidable (R-decidable), não register-enumerable (R-enumerable), e trocou as palavras register-decidable por

Re: [Logica-l] (In)decidibilidade e (In)completude

Salve, Rodrigo! Rodrigo Freire escreveu: > Caros, > > Corrigindo: > > Afinal, a completude semântica da lógica de predicados no caso > finito é apenas um caso especial da completude semântica para o > caso geral (infinito), demonstrado por Gödel na sua tese de