2
Jika P = NP, bisakah kita mendapatkan bukti dugaan Goldbach dll?
Ini adalah pertanyaan naif, dari keahlian saya; permintaan maaf sebelumnya. Dugaan Goldbach dan banyak pertanyaan lain yang tidak terpecahkan dalam matematika dapat ditulis sebagai rumus pendek dalam predikat kalkulus. Misalnya, makalah Cook "Dapatkah Komputer Secara Rutin Menemukan Bukti Matematika?" merumuskan dugaan itu sebagai ∀ n [ ( n > 2 …