2
Якщо P = NP, чи могли б ми отримати докази задуми Гольдбаха тощо?
Це наївне питання, поза моїм досвідом; вибачення заздалегідь. Концепція Гольдбаха та багато інших невирішених питань з математики можуть бути записані як короткі формули в предикатному обчисленні. Наприклад, праця Кука "Чи можуть комп'ютери звичайно виявляти математичні докази?" формулює цю гіпотезу як ∀ n [ ( n > 2 ∧ 2 | …