Re: [Logica-l] Res: semântica paraconsistente

Olá, Julio: Pergunte, sim: é conversando que as pessoas se entendem. Ou não. Ficou claro, sim, que seu problema é com as lógicas não-clássicas em geral. > O que eu estava chamando de lógica clássica seria algo como a > "Conceitografia" de Frege (ou os Principia do Russell/ Whitehead), Você pre

[Logica-l] P ≠ NP?

(por Vinay Deolalikar) A quem interessar (e entender!) possa... http://www.scribd.com/doc/35539144/pnp12pt Att. -- David Deharbe. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] P ≠ NP?

é ilegível... 2010/8/9 David Deharbe > (por Vinay Deolalikar) > > A quem interessar (e entender!) possa... > > http://www.scribd.com/doc/35539144/pnp12pt > > Att. > > -- David Deharbe. > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www

Re: [Logica-l] P ≠ NP?

Aqui o que Dick Lipton escreveu no blog dele sobre o quentíssimo assunto: http://rjlipton.wordpress.com/2010/08/08/a-proof-that-p-is-not-equal-to-np/ É certo que este já é e vai continuar sendo o grande assunto das próximas semanas, independente do milhão de dólares que estão envolvidos... També

[Logica-l] RES: P ≠ NP?

Caros colegas: Há uma versão legível de " P ≠ NP", por Vinay Deolalikar, postada no sítio Gigapedia, em pdf. Não encontrei registro ou ISBN da mesma, tampouco qualquer referência no sítio Amazon. Dou o liame (ou "link") para quem quiser, ou envio o arquivo como anexo. a) Arthur Buchsbaum -

Re: [Logica-l] RES: P ≠ NP?

1. P Does Not Equal NP: Understanding Vinay Deolalikar's Proof (matéria do AOL): http://bit.ly/akN3tT P != NP (o documento original, em PDF, no site da HP): http://ow.ly/2n1PT Adolfo Neto Web: http://www.dainf.ct.utfpr.edu.br/~a

Re: [Logica-l] RES: P ≠ NP?

Tava conversando com o Newton sobre isso. Olhei em diagonal o paper. P≠NP tem uma formulação precisa como uma sentença ∏2, ``pra todo x existe y P(x,y),'' P primitivo recursivo. Tais sentenças são demonstráveis numa certa teoria se e somente se provamos que dada função recursiva associada é total,

[Logica-l] res: semântica paraconsistente

Olá, pessoal! Bem, de fato, posso estar me atrapalhando em algumas coisas. O buraco é mais embaixo e mais complexo do que eu imaginava. E acredito que minha questão seria melhor colocada se, em vez de dizer "semântica paraconsistente" eu tivesse dito "meta-linguagem inconsistente

Re: [Logica-l] semântica paraconsistente

Olá Júlio, Poderia dizer o mesmo quanto a uma maçã clássica, rs. O que vemos são maçãs, poderia dizer que o que vejo são determinados objetos que chamamos maçã, que possuem tais e tais propriedades, inclusive a propriedade de não ser totalmente vermelha mesmo sendo vermelha, mas isso me comprom

Re: [Logica-l] RES: P ≠ NP?

mais analise (por outros matematicos) do trabalho do Deolalikar: http://rjlipton.wordpress.com/2010/08/08/a-proof-that-p-is-not-equal-to-np/ valeria 2010/8/9 Adolfo Neto : > P Does Not Equal NP: Understanding Vinay Deolalikar's Proof (matéria do > AOL): http://bit.ly/akN3tT > P != NP (o document