2
Se P = NP, poderíamos obter provas da conjectura de Goldbach, etc.?
Esta é uma pergunta ingênua, fora dos meus conhecimentos; desculpas antecipadamente. A conjectura de Goldbach e muitas outras questões não resolvidas em matemática podem ser escritas como fórmulas curtas no cálculo de predicados. Por exemplo, o artigo de Cook "Os computadores podem descobrir rotineiramente provas matemáticas?" formula essa conjectura como …