Lembro de alguns: - Se P=NP é verdadeiro, então PA ou uma teoria com a linguagem de PA, seus teoremas, e equiconsistente com PA, prova P=NP.
- idem para a hipótese de Riemann. - Se P ≠ NP é independente de ZFC, então é verdadeiro no modelo standard para a aritmética (supondo que ZFC o tem). - Se F é a bounding/consistency measure function para ZF, então podemos estender a teoria de modo a dar sentido a F(\aleph_0), que na teoria estendida é um cardinal inacessível para ZF. Tem outros. -- fad ahhata alati, awienta Wilushati _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
