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

2016-09-24 Por tôpico Maria Lewtchuk Espindola
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 deta

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

2016-09-24 Por tôpico Joao Marcos
2016-09-24 20:51 GMT-03:00 Davi da Silva San Gil: > Colegas, > > Sem querer prolongar mais aquilo que já está tomando ares de peleja pessoal, > acho que o acordado sobre os Off-topics é que estes devem ser respondidos em > mensagens privadas - como me foi informado pelo meu próprio equívoco de > al

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

2016-09-24 Por tôpico Davi da Silva San Gil
Colegas, Sem querer prolongar mais aquilo que já está tomando ares de peleja pessoal, acho que o acordado sobre os Off-topics é que estes devem ser respondidos em mensagens privadas - como me foi informado pelo meu próprio equívoco de alguns dias atrás. Um abraço Em 24 de set de 2016 8:17 PM, "J

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

2016-09-24 Por tôpico Jaison Schinaider
Bom, Calos, [já que você me chama de "Jason", lhe chamarei de "Calos"] Não sei se você é professor, ou o que você é. Nem que de matéria, se for. Mas como diz o ditado, "leu porque quis!", pois estava avisado que era "Off topic" Então vamos lá! *> "Mas sugerir que as decisões de currículo do país

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

2016-09-24 Por tôpico Carlos Augusto Prolo
Jason, eu li o assunto estava decidindo não ler para não estragar o meu humor. Ai resolvi lhe dar o benefício da dúvida e comecei a ler e o fiz até o parágrafo abaixo quando então desisti. > Muitos dos professores assinantes desta lista podem pensar: "Isto não me prejudica, já que sou professor

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

2016-09-24 Por tôpico Jaison Schinaider
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

2016-09-24 Por tôpico Rodrigo Freire
Caro Hermógenes, Também agradeço pela discussão em um tema que é de interesse. É raro. Podemos resumir a situação assim: Seja X o conjunto das sentenças (em uma linguagem apropriada de primeira ordem) verdadeiras em todas as estruturas. Seja Y o conjunto das sentenças (em uma linguagem apropriad

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

2016-09-24 Por tôpico Hermógenes Oliveira
Rodrigo Freire escreveu: > Salve Hermógenes, Olá, Rodrigo. Obrigado pelo seu interesse na discussão. > 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 > r

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

2016-09-24 Por tôpico Rodrigo Freire
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 register-enumer

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

2016-09-24 Por tôpico Hermógenes Oliveira
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 > doutorado. >