Me foi comunicado por um amigo: teriam provado a consistência de certas extensões de PA com a sentença "existe uma prova de P < NP na teoria" - mas isso só valeria em modelos não standard.
Sent from my iPhone _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
