2
ถ้า P = NP เราจะได้รับการพิสูจน์ของ Goldbach's Conjecture เป็นต้นหรือไม่?
นี่เป็นคำถามที่ไร้เดียงสาจากความเชี่ยวชาญของฉัน ขออภัยล่วงหน้า การคาดคะเนของ Goldbach และคำถามที่ยังไม่ได้แก้ในคณิตศาสตร์สามารถเขียนเป็นสูตรสั้น ๆ ในแคลคูลัสภาคแสดง ตัวอย่างเช่นกระดาษของ Cook "คอมพิวเตอร์สามารถค้นพบหลักฐานทางคณิตศาสตร์เป็นประจำได้หรือไม่" กำหนดว่าการคาดเดาเป็น ∀n[(n>2∧2|n)⊃∃r∃s(P(r)∧P(s)∧n=r+s)]∀n[(n>2∧2|n)⊃∃r∃s(P(r)∧P(s)∧n=r+s)]\forall n [( n > 2 \wedge 2 | n) \supset \exists r \exists s (P(r) \wedge P(s) \wedge n = r + s) ] ถ้าเราจำกัดความสนใจของการพิสูจน์พหุนามที่มีความยาวมากดังนั้นทฤษฎีบทที่มีการพิสูจน์ดังกล่าวจะอยู่ใน NP ดังนั้นถ้า P = NP เราสามารถตัดสินได้ว่าการคาดคะเนของ Goldbach นั้นเป็นจริงหรือไม่ในเวลาพหุนาม คำถามของฉันคือ: เราจะสามารถแสดงหลักฐานในเวลาพหุนามหรือไม่? แก้ไข ตามความคิดเห็นของ Peter …