Tautologia. Em 3 de junho de 2011 14:17, Decio Krause <deciokra...@gmail.com> escreveu:
> 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á pensando. Está meramente sendo lógico!" > (Bohr para Einstein) > > > > > > > Em 03/06/2011, às 10:25, Marcelo Finger escreveu: > > > Bertrand Russell é capaz de dizer o que há de errado com esta prova. > > > > []s > > > > 2011/6/3 Walter Carnielli <walter.carnie...@gmail.com> > > > >> ================================== > >> 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 > >> (caso contrário, haveria pelo menos duas asserções verdadeiras). > >> > >> Portanto (C) é falsa, e daí não é o caso que *exatamente* uma das > >> trës asserções seja verdadeira. Em consequência, ou nenhuma delas é > >> verdadeira (o que náo é o caso, pois pelo menos (B) é > >> verdadeira), ou duas delas são verdadeiras, a saber, (A) e (B). > >> > >> Portanto P =/= NP. > >> > >> ============================== > >> > >> O que está errado com este raciocínio? A única crítica é que > >> este argumento é universal, ou seja, prova-se qualquer coisa > >> em lugar de (A). Mas por acaso alguma noçao de demosnstraçao > >> exclui uma tal; "trivialidade demonstrativa"? > >> > >> Abs, > >> > >> Walter > >> ++++++++++++++++++++++++++++++++++++ > >> Prof. Dr. Walter Carnielli > >> Director > >> Centre for Logic, Epistemology and the History of Science – CLE > >> State University of Campinas –UNICAMP > >> 13083-859 Campinas -SP, Brazil > >> Phone: (+55) (19) 3521-6517 > >> Fax: (+55) (19) 3289-3269 > >> e-mail: walter.carnie...@cle.unicamp.br > >> Website: http://www.cle.unicamp.br/prof/carnielli > >> _______________________________________________ > >> Logica-l mailing list > >> Logica-l@dimap.ufrn.br > >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > >> > > > > > > > > -- > > Marcelo Finger > > Departamento de Ciencia da Computacao > > Instituto de Matematica e Estatistica > > Universidade de Sao Paulo > > Rua do Matao, 1010 > > 05508-090 Sao Paulo, SP Brazil > > Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) > > http://www.ime.usp.br/~mfinger > > _______________________________________________ > > Logica-l mailing list > > Logica-l@dimap.ufrn.br > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Álisson Gomes Linhares Graduado em Telemática Mestrando em Eng. de Transportes/PETRAN/UFC "As coisas são como são por que assim devem ser... ou são como são por nós acreditarmos que assim devem ser?" "Não sabendo que era impossível, foi lá e fez." - Jean Cocteau _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l