RE: [Logica-l] Fim do ensino de Filosofia?

Concordo com a necessidade de nos expressarmos! E creio que o Jaison ainda colocou o assunto no modo [Off-topic]. Não consigo entender... Está acontecendo um total desrespeito a nós professores dos futuros professores, e um local de discussão como está lista cercear a discussão... Outro

[Logica-l] [Off-topic] E vamos ficar parados?

Prezados professores e estudantes da lista, Nesta semana, fomos "agraciados" pela medida provisória que irá implantar o novo modelo de ensino médio no Brasil. Como todos devem ter lido, a disciplina de filosofia (área de interesse de boa parte dos assinantes desta lista) se tornará optativa. Pode

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