2
Se P = NP, potremmo ottenere prove della congettura di Goldbach ecc.?
Questa è una domanda ingenua, per mia competenza; scusa in anticipo. La congettura di Goldbach e molte altre domande irrisolte in matematica possono essere scritte come brevi formule nel calcolo del predicato. Ad esempio, l'articolo di Cook "I computer possono scoprire regolarmente prove matematiche?" formula quella congettura come ∀ n …