[Logica-l] A mais curta demonstração de que P =/= NP

== Teorema: P =/= NP Prova> Considere, conjuntivamente as seguintes asserções: (A) P =/= NP (B) Se P =/= NP então NP =/= P (C) Exatamente uma destas trës asserções é verdadeira. É claro que (B) é verdadeira, e que (C) não pode ser verdadeira

Re: [Logica-l] Proposta de criação da Comissão Especial de Lógica na Computação

Para os interessados na criação da Comissão Especial de Lógica e Computação, Entrei em contato com o vice-presidente da SBC, prof. Marcelo Walter, e com o diretor de Eventos e Comissões Especiais da SBC, prof. Lisando Granville, e eles me informaram que, no momento, está congelada a criação de no

[Logica-l] [LC] Proposta de criação do Grupo de Interesse em Lógica na Computação

PessoALL: Aproveitando a informação da futura presidenta Ana Teresa sobre a criação do Grupo de Interesse em Lógica na Computação, junto à SBC, venho reiterar a importância de que os interessados em participar da criação deste Grupo de Interesse se inscrevam na wiki abaixo: http://www.tecmf.inf.

Re: [Logica-l] livros bons a respeito de sistemas lógicos em geral

Que tal: An Introduction to Non-Classical Logic: From If to Is Graham Priest 646 pages Cambridge University Press; 2 edition (June 2, 2008) ISBN-10: 0521854334 Classical and Nonclassical Logics: An Introduction to the Mathematics of Propositions Erick Schechter 536 pages Princeton University Pres

Re: [Logica-l] A mais curta demonstração de que P =/= NP

Bertrand Russell é capaz de dizer o que há de errado com esta prova. []s 2011/6/3 Walter Carnielli > == > Teorema: P =/= NP > > Prova> > > Considere, conjuntivamente as seguintes asserções: > > (A) P =/= NP > > (B) Se P =/= NP então NP =/= P > > (C) E

Re: [Logica-l] A mais curta demonstração de que P =/= NP

Tá vivo?! 2011/6/3 Marcelo Finger : > Bertrand Russell é capaz de dizer o que há de errado com esta prova. > > []s > > 2011/6/3 Walter Carnielli > >> == >>  Teorema: P =/= NP >> >>  Prova> >> >>  Considere, conjuntivamente  as  seguintes asserções: >> >>  (A)  P =/

Re: [Logica-l] A mais curta demonstração de que P =/= NP

Perfeito Walter 2011/6/3 Walter Carnielli > == > Teorema: P =/= NP > > Prova> > > Considere, conjuntivamente as seguintes asserções: > > (A) P =/= NP > > (B) Se P =/= NP então NP =/= P > > (C) Exatamente uma destas trës asserções é verd

Re: [Logica-l] A mais curta demonstração de que P =/= NP

hahaha... mais uma versão sofisticada do paradoxo do mentiroso! Gostei! Vou ter diversão para hoje com meus netos! Vamos ver se eles descobrem por que C) não é uma sentença! Mas, como eles ainda nao sabem o que é ser P-completo ou NP completo, vou por no lugar de A) a sentença "0=1", ok? Mande ma

Re: [Logica-l] A mais curta demonstração de que P =/= NP

Só falta agora juntarmos a isto uma demonstração qualquer para P = NP (o mesmo argumento serve, claro, trocando a premissa (A)), e aí podemos todos ficar felizes com a verdade simultânea de (A) & (B) & (C). :-) JM 2011/6/3 Marcelo Finger : > Bertrand Russell é capaz de dizer o que há de errado c

Re: [Logica-l] A mais curta demonstração de que P =/= NP

Creio que o problema da prova é a autoreferência. D. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause "Você não est

[Logica-l] Mas, afinal, o que eh Matematica?

Palestra - Logica do Espaco Tempo - Prof. Newton Carneiro Affonso da Costa Coloquio do Depto. de Matematica Aplicada do Institudo de Matematica e Estatistica da Universidade de Sao Paulo. Hoje, 03-06-2011, 16:00 - 17:00. Pergunta de alguem da plateia, ao final da palestra: Mas, afinal, o qu