Proofs By Contradiction (in particular of P \neq NP) And Other Dangers http://rjlipton.wordpress.com/2011/01/08/proofs-by-contradiction-and-other-dangers/
O "open problem" ali mencionado me parece especialmente interessante: Como saber, em geral, se a *contradição* vem da hipótese que você *quer contradizer*, e não de outro ponto qualquer do raciocínio? JM _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
