De qualquer modo, parece que o terceiro resultado acima implica que P=NP não é Pi_1.
O Lipton coloca como open problem na última linha do artigo dele: "Is P=NP Pi_1?" Por isso estou meio confuso. Abraço Rodrigo _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
